Login / Signup
Formal Verification of Dynamic Properties in an Aerospace Application.
Simin Nadjm-Tehrani
Jan-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