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

Tools and Algorithms for the Construction and Analysis of Systems 

Competition on Software Verification

other

Author(s): Dirk Beyer

Publication date (Print): 2012

Publisher: Springer Berlin Heidelberg

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 17

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

Symbolic Model Checking without BDDs

Armin Biere, Alessandro Cimatti, Edmund Clarke … (1999)

0 comments Cited 132 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Counterexample-guided abstraction refinement for symbolic model checking

Edmund Clarke, Orna Grumberg, Somesh Jha … (2003)

0 comments Cited 92 times – based on 0 reviews      Review now

Bookmark

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

Interpolation and SAT-Based Model Checking

K. L. McMillan (2003)

0 comments Cited 83 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 504-524

DOI: 10.1007/978-3-642-28756-5_38

SO-VID: fcf63d48-b1aa-4363-84e9-2da9c2ec8802

History

Data availability:

Competition on Software Verification

Read this book at

Related collections

Genomic Prediction: Software

Most cited references 17

Symbolic Model Checking without BDDs

Counterexample-guided abstraction refinement for symbolic model checking

Interpolation and SAT-Based Model Checking

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,330

Cited by 13