Automatic Verification by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- An abstract interpretation framework for termination POPL 2012
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Predicate abstraction for software verification POPL 2002
- jStar: towards practical verification for java OOPSLA 2008
- Automatic Construction of Hoare Proofs from Abstract Interpretation Results APLAS 2003
- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants SAS 2004