SVISS: Symbolic Verification of Symmetric Systems
Abstract elided by the publisher.
Related papers
- Learning Symmetric Invariants from Symmetric Samples OOPSLA 2026
- What's Decidable About Program Verification Modulo Axioms? TACAS 2020
- A Record Calculus Based on Symmetric Concatenation POPL 1991
- Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages POPL 2022
- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems TACAS 2000
- Formal Verification of Digital Circuits Using Symbolic Ternary System Models CAV 1990
- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol TACAS 1999
- Improving Stability of SMT Solvers via Context-Driven Normalization CAV 2026