Invariant Checking for Programs with Procedure Calls
No abstract available.
Related papers
- A decision procedure for subset constraints over regular languages PLDI 2009
- Complexity and information in invariant inference POPL 2020
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction VMCAI 2010
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines CAV 1992
- Inductive invariant generation via abductive inference OOPSLA 2013
- A Practical Soft Type System for Scheme TOPLAS 1997