Login / Signup
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.
Luís Diogo Couto
Stylianos Basagiannis
El Hassan Ridouane
Alie El-Din Mady
Miran Hasanagic
Peter Gorm Larsen
Published in:
SEFM Workshops (2017)
Keyphrases
</>
formal verification
cyber physical systems
cyber physical
model checking
model checker
physical world
symbolic model checking
bounded model checking
automated verification
embedded systems
cyber security
artificial intelligence
virtual world
translation invariant