ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
Done
Inviting an author to review:
A nickel oxide-decorated in situ grown 3-D graphitic forest engrained carbon foam electrode for microbial fuel cells
Find an author and click ‘
Invite to review selected article
’ near their name.
Search for authors
Search for similar articles
Invite by email
36
views
2
references
Top references
cited by
27
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,230
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
VIS: A system for verification and synthesis
other
Author(s):
Robert K. Brayton
,
Gary D. Hachtel
,
Alberto Sangiovanni-Vincentelli
,
Fabio Somenzi
,
Adnan Aziz
,
Szu -Tsung Cheng
,
Stephen Edwards
,
Sunil Khatri
,
Yuji Kukimoto
,
Abelardo Pardo
,
Shaz Qadeer
,
Rajeev K. Ranjan
,
Shaker Sarwary
,
Thomas R. Staple
,
Gitanjali Swamy
,
Tiziano Villa
Publication date
(Online):
June 3 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Concepts, Benchmarks & Synthesis
Most cited references
2
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Efficient generation of counterexamples and witnesses in symbolic model checking
O. Grumberg
,
K. L. McMillan
,
X. Zhao
…
(1995)
0
comments
Cited
18
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
BDD variable ordering for interacting finite state machines
Adnan Aziz
,
Serdar Taşiran
,
Robert K. Brayton
(1994)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1996
Publication date (Online):
June 3 2005
Pages
: 428-432
DOI:
10.1007/3-540-61474-5_95
SO-VID:
ac0d52ee-76a0-4f6e-a979-ca7e2bb5aced
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Symbolic verification of communication protocols with infinite state spaces using QDDs
pp. 232
Analysis of timed systems based on time-abstracting bisimulations
pp. 348
Using on-the-fly verification techniques for the generation of test suites
pp. 50
Polynomial time algorithms for testing probabilistic bisimulation and simulation
pp. 62
Pushdown processes: Games and model checking
pp. 75
Module checking
pp. 87
Automatic verification of parameterized synchronous systems
pp. 184
A platform for combining deductive with algorithmic verification
pp. 208
Deductive model checking
pp. 244
Verification of an Audio Protocol with bus collision using Uppaal
pp. 372
Verification of fair transition systems
pp. 390
The Mur ϕ verification system
pp. 394
The NCSU Concurrency Workbench
pp. 411
PVS: Combining specification, proof checking, and model checking
pp. 415
STeP: Deductive-algorithmic verification of reactive and real-time systems
pp. 428
VIS: A system for verification and synthesis
pp. 437
CADP a protocol validation and verification toolbox
Similar content
2,230
Comparative Study of the Electrical Energy Consumption and Cost for a Residential Building on Fully AC Loads Vis-a-Vis One on Fully DC Loads
Authors:
Oluwasikemi Ogunleye
,
Adeyemi Alabi
,
Sanjay Misra
…
TiO2/SrTiO3 and SrTiO3 microspheres decorated with Rh, Ru or Pt nanoparticles: Highly UV–vis responsible photoactivity and mechanism
Authors:
E Grabowska
,
M Marchelek
,
T. Klimczuk
…
Corneocyte Quantification by NIR Densitometry and UV/Vis Spectroscopy for Human and Porcine Skin and the Role of Skin Cleaning Procedures
Authors:
J.C. Schwarz
,
V. Klang
,
M. Hoppel
…
See all similar
Cited by
26
LTL Satisfiability Checking
Authors:
Kristin Y. Rozier
,
Moshe Vardi
Partial-order reduction in symbolic state space exploration
Authors:
R. Alur
,
R. K. Brayton
,
T. A Henzinger
…
Bebop: A Symbolic Model Checker for Boolean Programs
Authors:
Thomas Ball
,
Sriram Rajamani
See all cited by