Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL.

Simon Foster Jim Woodcock

Published in: Concurrency, Security, and Puzzles (2017)

Keyphrases

theorem prover
cyber physical systems
natural deduction
cyber physical
formal methods
theorem proving
inference rules
cyber security
first order logic
physical world
model checking
social networks
embedded systems
information systems
real time
low cost
decision making
linear logic
artificial intelligence