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

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): March 12 1999

Pages: 193-207

DOI: 10.1007/3-540-49059-0_14

SO-VID: b40d8ee7-bf69-46ad-ae91-0d12cdddcf3b

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 134

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Authors: Jasmin Christian Blanchette, Tobias Nipkow
Approximate Probabilistic Model Checking
Authors: Thomas Hérault, Richard Lassaigne, Frederic Magniette …
Automatic Abstraction without Counterexamples
Authors: Kenneth McMillan, Nina Amla

See all cited by

Symbolic Model Checking without BDDs

Read this book at