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 references 2

Record: found
Abstract: not found
Book: not found

Symbolic Model Checking

Kenneth McMillan (1993)

0 comments Cited 168 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Representing circuits more efficiently in symbolic model checking

J. Burch, E. Clarke, D E Long (1991)

0 comments Cited 6 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): January 14 2003

Pages: 495-499

DOI: 10.1007/3-540-48683-6_44

SO-VID: 5c0ab2df-083b-4344-ba18-f341f272aa5b

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

See all cited by

NuSMV: A New Symbolic Model Verifier

Read this book at