The Automatic Detection of Token Structures and Invariants Using SAT Checking
No abstract available.
Related papers
- RAT-CAT-SAT: Model Checking Memory Consistency Models OOPSLA 2026
- DITTO: automatic incrementalization of data structure invariant checks (in Java) PLDI 2007
- Token Elimination in Model Checking of Petri Nets TACAS 2025
- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information ECOOP 2003
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Modular reasoning about heap paths via effectively propositional formulas POPL 2014
- Static Detection of Loop-Invariant Data Structures ECOOP 2012
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022