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): 2003

Pages: 117-148

DOI: 10.1016/S0065-2458(03)58003-2

SO-VID: f316c045-263b-4841-b69e-3c6d8a98681d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 53

SMT-Based Model Checking for Recursive Programs
Authors: Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
Automatic Abstraction in SMT-Based Unbounded Software Model Checking
Authors: Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki …
Boosting k-Induction with Continuously-Refined Invariants
Authors: Dirk Beyer, Matthias Dangl, Philipp Wendler

See all cited by

Bounded Model Checking

Read this book at