Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper).
Adnan RashidUmair SiddiqueSofiène TaharPublished in: CoRR (2020)
Keyphrases
- theorem proving
- formal verification
- invited paper
- cyber physical systems
- cyber physical
- model checking
- physical world
- cyber security
- first order logic
- inference rules
- theorem prover
- automated reasoning
- parallel search
- embedded systems
- consequence finding
- critical infrastructure
- temporal logic
- proof planning
- data mining
- lecture notes