Login / Signup
A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.
Christoph Luckeneder
Hermann Kaindl
Published in:
SAC (2019)
Keyphrases
</>
formal verification
model checking
physical models
three dimensional
bounded model checking
automated verification