Model checking epistemic-probabilistic logic using probabilistic interpreted systems.
Wei WanJamal BentaharAbdessamad Ben HamzaPublished in: Knowl. Based Syst. (2013)
Keyphrases
- probabilistic logic
- model checking
- automated verification
- computation tree logic
- epistemic logic
- probabilistic reasoning
- temporal logic
- maximum entropy
- formal methods
- probability theory
- model checker
- reactive systems
- default reasoning
- formal verification
- probabilistic knowledge
- asynchronous circuits
- temporal properties
- verification method
- symbolic model checking
- formal specification
- bounded model checking
- automated reasoning
- distributed systems
- alternating time temporal logic
- probabilistic logic programs