Experience with Formal Methods in Critical Systems

IEEE Software

Volumn 11, Issue 1, 1994, Pages 21-28

  Gerhart, Susan ^a   Craigen, Dan ^b   Ralston, Ted ^c  

^a UNIVERSITY OF HOUSTON CLEAR LAKE   (United States)

^b ORA Canada ^*  (Canada)

^c Ralston Research Associates ^*

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL APPLICATIONS;

CRITICAL SYSTEMS; SAFETY ASSURANCE; SECURITY ASSURANCE;

SOFTWARE ENGINEERING;

EID: 0028194745     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.251198     Document Type: Article

References (7)

1. Formal Methods for Trustworthy Computer Systems, D. Craigen and K Summerskill, eds., Springer-Verlag, London, 1990.
2. D. Craigen, S. Gerhart, and T. Ralston, An International Survey of Industrial Applications of Formal Methods, Volume 1 Study Methodology, Tech. Report PB93-178556/AS, National Technical Information Service, Springfield, Va., Tech. Report 5546-93-9581, US Naval Research Laboratory, Washington DC; Tech. Report Info-047 4-1, Atomic Energy Control Board of Canada, Ontario, 1993.
3. D. Craigen, S. Gerhart, and T. Ralston, An International Survey of Industrial Applications of Formal Methods, Volume 2 Case Studies, “Tech. Report PB93-178564/AS, National Technical Information Service, Springfield, Va., Tech. Report 5546-93-9582, US Naval Research Laboratory Washington DC; ‘Tech. Report Info-0474-2, Atomic Energy Control Board of Canada, Ontario 1993.
4. S. Gerhart, D. Craigen. and T. Ralston, Observations on Industrial Applications of Formal Methods, Proc 15th Intl. Conference on Software Engineering, IEEE CS Press, Los Alamitos, Calif., 1993, pp. 24–33.
5. D. Craigen, S. Gerhart, and T. Ralston, Formal Methods Reality Check: Industrial Usage Proc. Formal Methods Europe, Springer-Verlag, Berlin, 1993, pp. 250–268.
6. The Procurement of Saftty Critical Software in Defence Equipment (Part 1: Requirements, Part 2: Guidance), Interim Defence Standard 00–55, Issue 1, Ministry of Defence, Glasgow, Scotland, 1991.
7. C. Potts, Software-Engineering Research Revisited, IEEE Software, Sept. 1993, pp. 19–28.