Counterexample-Guided Abstraction Refinement

other

Author(s): Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , Helmut Veith

Publication date (Print): 2000

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

Author and book information

Book Chapter

Publication date (Print): 2000

Pages: 154-169

DOI: 10.1007/10722167_15

SO-VID: 15ef972c-a66e-4217-8ba0-0ef4e2358fd7

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 156

SATABS: SAT-Based Predicate Abstraction for ANSI-C
Authors: Edmund Clarke, Daniel Kroening, Natasha Sharygina …
Boolean and Cartesian Abstraction for Model Checking C Programs
Authors: Thomas Ball, Andreas Podelski, Sriram Rajamani
Abstract Regular Model Checking
Authors: Ahmed Bouajjani, Peter Habermehl, Tomas Vojnar

See all cited by