Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation.
Young Joo KimMoonzoo KimTai-Hyo KimPublished in: Haifa Verification Conference (2012)
Keyphrases
- model checking
- hybrid systems
- safety critical
- formal methods
- temporal logic
- model checker
- black box
- formal specification
- intelligent systems
- meta learning
- neural network
- symbolic model checking
- fault tolerant
- artificial intelligence
- formal verification
- computational intelligence
- soft computing
- discrete event
- embedded systems
- agent architecture
- specification language
- decision making
- software development
- data mining