Login / Signup

Formal Verification of Dynamic Properties in an Aerospace Application.

Simin Nadjm-TehraniJan-Erik Strömberg
Published in: Formal Methods Syst. Des. (1999)
Keyphrases
  • formal verification
  • real time
  • dynamic environments
  • bounded model checking
  • data mining
  • orders of magnitude
  • model checking
  • dynamic behavior