- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions
other
March 31 2017
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 references6
- Record: found
- Abstract: not found
- Book Chapter: not found
Proving Pointer Programs in Hoare Logic
Richard Bornat (2000)
- Record: found
- Abstract: not found
- Book Chapter: not found
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
- Record: found
- Abstract: not found
- Book Chapter: not found
Predicate Analysis with Block-Abstraction Memoization
Daniel Wonisch, Heike Wehrheim (2012)