Login / Signup

Systematic top-down design of cyber-physical models with integrated validation and formal verification.

Christoph LuckenederHermann Kaindl
Published in: ICSE (Companion Volume) (2018)
Keyphrases
  • formal verification
  • physical models
  • model checking
  • shape from shading
  • computer vision
  • control system
  • closed loop
  • temporal logic
  • model checker
  • symbolic model checking
  • automated verification