Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.
Jan van KatwijkHans ToetenelAbd-El-Kader SahraouiEric AndersonJanusz ZalewskiPublished in: SAFECOMP (2000)
Keyphrases
- formal methods
- formal verification
- colored petri nets
- reactive systems
- model checking
- safety critical
- model checker
- petri net
- timed automata
- asynchronous circuits
- formal specification
- safety analysis
- graph matching
- high level
- test generation
- graph theory
- directed graph
- agent oriented
- specification language
- state transition
- protocol specification
- verification method
- state machines
- web services
- advanced transaction models
- random graphs
- graph clustering
- graph theoretic
- graph model
- multi agent systems