Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
No abstract available.
Related papers
- Verification of Hierarchical State/Event Systems Using Reusability and Compositionality TACAS 1999
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- Dynamic Deadlock Verification for General Barrier Synchronisation TOPLAS 2019
- Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations POPL 2023
- Probabilistic Termination: Soundness, Completeness, and Compositionality POPL 2015
- Compositional Specification and Verification of Distributed Systems TOPLAS 1994
- Specification and inference of trace refinement relations OOPSLA 2019
- Computing Abstractions of Infinite State Systems Compositionally and Automatically CAV 1998