Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion
Abstract elided by the publisher.
Related papers
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Symmetry and reduced symmetry in model checking TOPLAS 2004
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Revamping Verilog Semantics for Foundational Verification OOPSLA 2025
- A Hoare Logic for Symmetry Properties OOPSLA 2025