InVeST: A Tool for the Verification of Invariants
No abstract available.
Related papers
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Paxos made EPR: decidable reasoning about distributed protocols OOPSLA 2017
- Safety Verification and Refutation by k-Invariants and k-Induction SAS 2015
- Sound and Complete Invariant-Based Heap Encodings OOPSLA 2026
- GACAL: Conjecture-Based Verification - (Competition Contribution) TACAS 2020
- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants TACAS 2023
- Memory-Safety Verification of Open Programs with Angelic Assumptions OOPSLA 2025
- Data-driven inference of representation invariants PLDI 2020