Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.
Jonathan Julián Huerta y MuniveSimon FosterMario GleirscherGeorg StruthChristian Pardillo LaursenThomas HickmanPublished in: CoRR (2024)
Keyphrases
- automated verification
- theorem prover
- automated reasoning
- cyber physical systems
- natural deduction
- cyber physical
- model checking
- theorem proving
- first order logic
- physical world
- inference rules
- cyber security
- formal verification
- social networks
- temporal logic
- intrusion detection
- decision making
- artificial intelligence
- graph theory
- critical infrastructure
- embedded systems
- low cost