- Record: found
- Abstract: not found
- Book Chapter: not found
Verification, Model Checking, and Abstract Interpretation
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
Read this book at
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 20
- Record: found
- Abstract: not found
- Article: not found
An axiomatic basis for computer programming
C. Hoare (1969)
- Record: found
- Abstract: not found
- Book Chapter: not found
Counterexample-Guided Abstraction Refinement
Edmund Clarke, Orna Grumberg, Somesh Jha … (2000)
- Record: found
- Abstract: not found
- Article: not found
Efficiently computing static single assignment form and the control dependence graph
F. Zadeck, Mark Wegman, Barry Rosen … (1991)
Author and book information
Book
Product
Self URI (
Book
):
http://link.springer.com/content/pdf/10.1007/978-3-642-27940-9.pdf
Self URI (
Book
):
http://link.springer.com/10.1007/978-3-642-27940-9
Book Chapter
Product
Self URI (
Book
):
http://link.springer.com/content/pdf/10.1007/978-3-642-27940-9.pdf
Self URI (
Book
):
http://link.springer.com/10.1007/978-3-642-27940-9
Self URI (
Book Chapter
):
http://link.springer.com/10.1007/978-3-642-27940-9_4