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

Pages: 70-87

DOI: 10.1007/978-3-642-18275-4_7

SO-VID: 0b3e84ef-bd2d-4f52-b6dc-f0a08a3af9bd

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 50

SMT-Based Model Checking for Recursive Programs
Authors: Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
Learning invariants using decision trees and implication counterexamples
Authors: Pranav Garg, Daniel Neider, P. Madhusudan …
SAT-Based Synthesis Methods for Safety Specs
Authors: Roderick Bloem, Robert Könighofer, Martina Seidl

See all cited by

SAT-Based Model Checking without Unrolling

Read this book at