Formal Verification of Statecharts with Instantaneous Chain Reaction
No abstract available.
Related papers
- Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks CAV 2015
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts PLDI 2014
- Polyglot: Systematic Analysis for Multiple Statechart Formalisms TACAS 2013
- Push-pull functional reactive programming Haskell 2009
- Extending the Statechart Formalism: Event Scheduling & Disposition OOPSLA 1995
- Statecharts in the making: a personal account HOPL 2007
- Formal Verification of the Ethereum 2.0 Beacon Chain TACAS 2022
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023