Strengthening Invariants by Symbolic Consistency Testing
No abstract available.
Related papers
- Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata TACAS 2014
- Data-driven inference of representation invariants PLDI 2020
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015
- Safe replication through bounded concurrency verification OOPSLA 2018
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Taming release-acquire consistency POPL 2016
- Overhauling SC atomics in C11 and OpenCL POPL 2016