Automatic Inference of Class Invariants
No abstract available.
Related papers
- Automatic Inference of Relational Object Invariants VMCAI 2025
- Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates APLAS 2010
- Inferring Inductive Invariants from Phase Structures CAV 2019
- Thread-modular shape analysis PLDI 2007
- Shape analysis with inductive recursion synthesis PLDI 2007
- Learning the boundary of inductive invariants POPL 2021
- Complexity and information in invariant inference POPL 2020
- On the Almost-Sure Termination of Probabilistic Counter Programs CAV 2025