Formal Verification of Cyber-Physical Systems Using Theorem Proving.
Adnan RashidUmair SiddiqueSofiène TaharPublished in: FTSCS (2019)
Keyphrases
- formal verification
- theorem proving
- cyber physical systems
- cyber physical
- model checking
- physical world
- cyber security
- theorem prover
- first order logic
- automated reasoning
- social networks
- inference rules
- parallel search
- embedded systems
- term rewriting
- consequence finding
- proof procedure
- proof planning
- critical infrastructure
- knowledge representation
- geometry theorem proving
- ubiquitous computing
- intelligent systems
- real time