Early Verification and Validation of Mission Critical Systems

Early Verification and Validation of Mission Critical Systems

C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde and H. Tran Van, Early Verification and Validation of Mission Critical Systems, 9th Formal Methods for Industrial Critical Systems, Linz (Austria), September 2004.