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

Pages: 157-171

DOI: 10.1007/978-3-642-31612-8_13

SO-VID: 58347b6d-e562-494d-9ad2-b671a5aa37d9

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

The SeaHorn Verification Framework
Authors: Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli …
SMT-Based Model Checking for Recursive Programs
Authors: Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
On Solving Universally Quantified Horn Clauses
Authors: Nikolaj Bjørner, Ken McMillan, Andrey Rybalchenko

See all cited by

Generalized Property Directed Reachability

Read this book at