Formal Verification of Dynamic Properties in an Aerospace Application.
Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169.
ABSTRACT
Formal verification of computer-based engineering systems is only meaningful if the mathematical models used are derived systematically, recording the assumptions made at each modelling stage. In this paper we give an exposition of research efforts in cooperation with aerospace industries in Swedeety and timeliness properties. The proofs are carried out within the proof system of Extended Duration Calculus.
[NS99] Simin Nadjm-Tehrani, Jan-Erik Stromberg, "Formal Verification of Dynamic Properties in an Aerospace Application.", Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169. |
|
