Compositional Minimization of Finite State Systems
No abstract available.
Related papers
- Avoiding State Exposion by Composition of Minimal Covering Graphs CAV 1991
- Timed Automata Verification and Synthesis via Finite Automata Learning TACAS 2023
- Over-Approximation of Weakly-Hard Constraints for Control Systems Verification CAV 2026
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols CAV 2025
- Symbolic finite state transducers: algorithms and applications POPL 2012
- Minimization of symbolic automata POPL 2014
- Model Checking and Modular Verification TOPLAS 1994