Compositional Semantics of ESTEREL and Verification by Compositional Reductions
No abstract available.
Related papers
- Applying Game Semantics to Compositional Software Modeling and Verification TACAS 2004
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems TACAS 2000
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026
- Automatic Reduction in CTL Compositional Model Checking CAV 1992
- Denotation-based Compositional Compiler Verification TOPLAS 2026
- Reduction for Structured Concurrent Programs ESOP 2026
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- XEVE, an ESTEREL Verification Environment CAV 1998