Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.
Alexandre DavidKim G. LarsenAxel LegayDanny Bøgsted PoulsenPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
- model checking
- dynamic networks
- hybrid automata
- temporal logic
- finite state machines
- finite state automata
- formal verification
- model checker
- finite state
- temporal properties
- automated verification
- symbolic model checking
- verification method
- network structure
- dynamic behavior
- network analysis
- formal specification
- timed automata
- formal methods
- transition systems
- computation tree logic
- temporal evolution
- biological networks
- bounded model checking
- statistical methods
- artificial intelligence
- epistemic logic
- real world networks
- modal logic
- knowledge based systems
- state space
- data mining
- alternating time temporal logic