Login / Signup
Practical Formal Verification for Model Based Development of Cyber-Physical Systems.
Tasuku Ishigooka
Habib Saissi
Thorsten Piper
Stefan Winter
Neeraj Suri
Published in:
CSE/EUC/DCABES (2016)
Keyphrases
</>
formal verification
model checking
cyber physical systems
software engineering
cyber physical
data mining
artificial intelligence
low cost
decision makers
data processing
project management
physical world
cyber security
model checker
symbolic model checking
bounded model checking