Challenges in the successful transfer of formal methods technology into industrial applications
References (23)
Specifications are (preferably) executable
IEE/BCS Software Engineering J
(September 1992)Seven myths of formal methods
IEEE Software
(September 1990)- et al.
Formal methods and safety-critical standards
IEEE Computer
(August 1994) - et al.
Seven more myths of formal methods
IEEE Software
(July 1995) - et al.
An international survey of industrial applications of formal methods
Selling formal methods to industry
Software safety in embedded computer systems
Commun. ACM
(February 1991)- et al.
Ten commandments of formal methods
IEEE Computer
(April 1995)
Using mathematical descriptions in the inspection of safety-critical software
Cited by (0)
Copyright © 1996 Published by Elsevier B.V.