- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
VIS: A system for verification and synthesis
other
Read this book at
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
Most cited references2
- 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)
- 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)