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 19

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

Generalized Property Directed Reachability

Krystof Hoder, Nikolaj Bjørner (2012)

0 comments Cited 32 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Software model checking

Rupak Majumdar, Ranjit Jhala (2009)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2017

Publication date (Online): April 09 2017

Pages: 265-281

DOI: 10.1007/978-3-319-57288-8_18

SO-VID: 54a91ded-202b-4120-bdd7-fac1a7fd6e30

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Strategy Selection for Software Verification Based on Boolean Features
Authors: Dirk Beyer, Matthias Dangl

See all cited by

Systematic Predicate Abstraction Using Variable Roles

Read this book at

Related collections

REPO4EU WP2 Systematic Reviews

Most cited references 19

Counterexample-guided abstraction refinement for symbolic model checking

Generalized Property Directed Reachability

Software model checking

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,864

Cited by 1