Login / Signup

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.

Christoph LuckenederHermann Kaindl
Published in: SAC (2019)
Keyphrases
  • formal verification
  • model checking
  • physical models
  • three dimensional
  • bounded model checking
  • automated verification