Verification of Hierarchical State/Event Systems Using Reusability and Compositionality
No abstract available.
Related papers
- Verification of Large State/Event Systems Using Compositionality and Dependency Analysis TACAS 1998
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- Model checking of hierarchical state machines TOPLAS 2001
- Compositional Specification and Verification of Distributed Systems TOPLAS 1994
- Semantics of Sets of Programs OOPSLA 2025
- Computing Abstractions of Infinite State Systems Compositionally and Automatically CAV 1998
- Specifying and verifying sparse matrix codes ICFP 2010
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022