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 13

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

Counterexample-Guided Abstraction Refinement

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

0 comments Cited 157 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Parametric shape analysis via 3-valued logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm (2002)

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

Bookmark

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

Automatic Deductive Verification with Invisible Invariants

Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck (2001)

0 comments Cited 33 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 164-180

DOI: 10.1007/978-3-540-30579-8_12

SO-VID: b3a90534-6909-49fb-b660-d75abb6163c4

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 15

Array Abstractions from Proofs
Authors: Ranjit Jhala, Kenneth McMillan
Programs with Lists Are Counter Automata
Authors: Ahmed Bouajjani, Marius Bozga, Peter Habermehl …
Abstraction Refinement for Termination
Authors: Byron Cook, Andreas Podelski, Andrey Rybalchenko

See all cited by

Shape Analysis by Predicate Abstraction

Read this book at

Related collections

Core Readings in Statistical Mediation Analysis

Most cited references 13

Counterexample-Guided Abstraction Refinement

Parametric shape analysis via 3-valued logic

Automatic Deductive Verification with Invisible Invariants

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,369

Cited by 15