Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking.
Angela PappagalloPublished in: AI*IA (2021)
Keyphrases
- model checking
- temporal logic
- model checker
- abstract interpretation
- automated verification
- static analysis
- formal verification
- real time
- temporal properties
- verification method
- timed automata
- transition systems
- reactive systems
- bounded model checking
- cyber physical
- epistemic logic
- data analysis
- artificial intelligence