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

Software Architecture of Modern Model Checkers

other

Author(s): Fabrice Kordon , Michael Leuschel , Jaco van de Pol , Yann Thierry-Mieg

Publication date (Online): October 05 2019

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

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 57

Record: found
Abstract: not found
Book: not found

The B-Book

J. Abrial, A Hoare, Pierre Chapron (2010)

0 comments Cited 176 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Modeling in Event-B

Jean-Raymond Abrial (2010)

0 comments Cited 101 times – based on 0 reviews

Bookmark

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

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia … (2002)

0 comments Cited 86 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2019

Publication date (Online): October 05 2019

Pages: 393-419

DOI: 10.1007/978-3-319-91908-9_20

SO-VID: aa7fb829-e992-48d1-8eba-ee6b0cb93e3f

History

Data availability:

Software Architecture of Modern Model Checkers

Read this book at

Related collections

Higher order chromatin architecture

Most cited references 57

The B-Book

Modeling in Event-B

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,853

Cited by 1