Simulation Based Formal Verification of Cyber-Physical Systems.
Massimo NazariaPublished in: CoRR (2019)
Keyphrases
- formal verification
- cyber physical systems
- cyber physical
- model checking
- physical world
- cyber security
- automated verification
- embedded systems
- model checker
- symbolic model checking
- bounded model checking
- social networks
- temporal logic
- critical infrastructure
- ubiquitous computing
- intrusion detection
- knowledge discovery
- anomaly detection
- decision making