Ideal Abstractions for Well-Structured Transition Systems
No abstract available.
Related papers
- Unfolding Concurrent Well-Structured Transition Systems TACAS 2007
- Battery transition systems POPL 2014
- Calculational Design of Hyperlogics by Abstract Interpretation POPL 2025
- Safe Environmental Envelopes of Discrete Systems CAV 2023
- Incremental, Inductive Coverability CAV 2013
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Implicative Formulae in the "Proofs as Computations" Analogy POPL 1990
- Model Checking Modal Transition Systems Using Kripke Structures VMCAI 2002