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 15

Record: found
Abstract: not found
Book Chapter: not found

An Extensible SAT-solver

Niklas Een, Niklas Sörensson (2004)

0 comments Cited 55 times – based on 0 reviews

Bookmark

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

Property specification patterns for finite-state verification

Matthew Dwyer, George Avrunin, James Corbett (1998)

0 comments Cited 44 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

The SPIN Model Checker: Primer and Reference Manual

GJ Holzmann, G.J. Holzmann, G Holzmann … (2003)

0 comments Cited 25 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 129-145

DOI: 10.1007/978-3-642-16164-3_10

SO-VID: 309ce928-988a-4237-9e54-64a8ebb6634a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

See all cited by

On the Virtue of Patience: Minimizing Büchi Automata

Read this book at

Related collections

ScienceOpen Research

Most cited references 15

An Extensible SAT-solver

Property specification patterns for finite-state verification

The SPIN Model Checker: Primer and Reference Manual

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,110

Cited by 4