Formal Verification of Statecharts with Instantaneous Chain Reaction.
Jan PhilippsPeter ScholzPublished in: TACAS (1997)
Keyphrases
- formal verification
- model checker
- model checking
- symbolic model checking
- automated verification
- bounded model checking
- temporal logic
- reactive systems
- reaction diffusion
- program slicing
- formal specification
- formal methods
- functional verification
- domain specific
- conceptual modeling
- test suite
- description language
- reinforcement learning