Statistical Model Checking for Cyber-Physical Systems.
Edmund M. ClarkePaolo ZulianiPublished in: ATVA (2011)
Keyphrases
- model checking
- cyber physical systems
- temporal logic
- model checker
- formal verification
- formal specification
- temporal properties
- automated verification
- cyber physical
- symbolic model checking
- verification method
- timed automata
- bounded model checking
- transition systems
- epistemic logic
- formal methods
- physical world
- artificial intelligence
- alternating time temporal logic
- cyber security
- embedded systems
- data analysis
- social networks