Formal Verification of Simulink/Stateflow Diagrams.
Liang ZouNaijun ZhanShuling WangMartin FränzlePublished in: ATVA (2015)
Keyphrases
- formal verification
- model checking
- control system
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- fault detection
- control algorithm
- graphical representation
- functional verification
- uml diagrams
- uml class diagrams
- fuzzy logic
- web services
- artificial intelligence
- program slicing
- real time