Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements.

Muhammad Usman Sanwal Osman Hasan

Published in: ICCSA (1) (2013)

Keyphrases

formal verification
cyber physical systems
model checking
cyber physical
model checker
physical world
symbolic model checking
automated verification
cyber security
bounded model checking
real time
data mining
artificial intelligence
decision making
high speed
learning analytics