Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.

Vivek Nigam Carolyn L. Talcott

Published in: WRLA@ETAPS (2022)

Keyphrases

cyber physical systems
cyber physical
cyber security
physical world
embedded systems
social networks
critical infrastructure
power consumption
information security