A Model Checker for Hierarchical Probabilistic Real-Time Systems.
Songzheng SongJun SunYang LiuJin Song DongPublished in: CAV (2012)
Keyphrases
- real time systems
- model checker
- model checking
- formal methods
- formal verification
- real time
- temporal logic
- description language
- formal specification
- distributed systems
- embedded systems
- probability theory
- set theory
- test suite
- bayesian networks
- specification language
- fuzzy logic
- relational databases
- knowledge base
- machine learning