Verifying Multi-object Invariants with Relationships
No abstract available.
Related papers
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction SAS 2018
- A Unified Framework for Verification Techniques for Object Invariants ECOOP 2008
- Role analysis POPL 2002
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- A verified staged interpreter is a verified compiler GPCE 2006
- Environmental acquisition revisited POPL 2005
- Parasitic Methods: An Implementation of Multi-Methods for Java OOPSLA 1997