A methodology for resilient safety-critical infrastructures using statistical model checking.
Rajesh KumarNitish YadavPublished in: APSEC (2023)
Keyphrases
- model checking
- temporal logic
- critical infrastructure
- model checker
- formal verification
- automated verification
- symbolic model checking
- temporal properties
- formal specification
- statistical methods
- computation tree logic
- verification method
- power grids
- bounded model checking
- cyber security
- epistemic logic
- transition systems
- social networks
- homeland security
- smart grid
- software systems
- intrusion detection
- control system
- knowledge base
- decision making
- artificial intelligence
- alternating time temporal logic