Consistency Checking of Statechart Diagrams of a Class Hierarchy
No abstract available.
Related papers
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts PLDI 2014
- The PegaSys System: Pictures as Formal Documentation of Large Programs TOPLAS 1986
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- An Alternative to Subclassing OOPSLA 1986
- Some Thoughts on Statecharts, 13 Years Later CAV 1997
- Formal Verification of Statecharts with Instantaneous Chain Reaction TACAS 1997
- Polyglot: Systematic Analysis for Multiple Statechart Formalisms TACAS 2013