IIV: An Invisible Invariant Verifier
No abstract available.
Related papers
- Invisible Invariants and Abstract Interpretation SAS 2011
- Automatic Deductive Verification with Invisible Invariants TACAS 2001
- Parameterized verification of transactional memories PLDI 2010
- Saving Space by Fully Exploiting Invisible Transitions CAV 1996
- Liveness with Invisible Ranking VMCAI 2004
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Static and Dynamic Partitioning of Pointers as Links and Threads ICFP 1996
- Verifying Invariants Using theorem Proving CAV 1996