Visual Verification of Reactive Systems
No abstract available.
Related papers
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- Statecharts in the making: a personal account HOPL 2007
- Methodology and System for Practical Formal Verification of Reactive Hardware CAV 1994
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems CAV 1996
- Runtime verification and validation of functional reactive systems JFP 2020
- Automating formal proofs for reactive systems PLDI 2014
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts PLDI 2014