Formal Methods Reality Check: Industrial Usage

IEEE Transactions on Software Engineering

Volumn 21, Issue 2, 1995, Pages 90-98

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

^a ORA Canada   (Canada)

^b UNIVERSITY OF HOUSTON CLEAR LAKE   (United States)

^c ARCHITECTURE TECHNOLOGY CORPORATION   (United States)

Author keywords

and verification; Formal methods; formal verification; industrial applications; real time systems; safety critical systems; technology assessment; validation

Indexed keywords

COMPUTER CONTROL SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; INDUSTRIAL APPLICATIONS; REAL TIME SYSTEMS; SECURITY OF DATA; SOFTWARE ENGINEERING; TECHNOLOGY;

FORMAL METHODS; FORMAL VERIFICATION; REVERSE ENGINEERING; SAFETY-CRITICAL SYSTEMS; TECHNOLOGY ASSESSMENT;

FORMAL LANGUAGES;

EID: 0029251401     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.345825     Document Type: Article

References (5)

1. D. Craigen, S. Gerhart, and T. Ralston, “An international survey of industrial applications of formal methods,” U.S. National Institute of Standards and Technology, Mar. 1993, Tech. Rep. NIST GCR 93/626 (vols. 1 and 2). Also published by the U.S. Naval Research Laboratory (Formal Rep. 5546-93-9582, Sept. 1993), and the Atomic Energy Control Board of Canada.
2. D. Craigen, S. Kromodimoeljo, B. Pase, M. Saaltink, and I. Meisels, “The EVES system,” in McMaster International Lecture Series on Functional Programming, Concurrency, Simulation and Automated Reasoning, Peter Lauer, Ed. New York: Springer-Verlag, 1993.
3. S. Gerhart, D. Craigen, and T. Ralston, “Formal methods in critical systems,” IEEE Software, Jan. 1994.
4. S. Gerhart, D. Craigen, and T. Ralston, “Observations on industrial practice using formal methods,” in Proc. 15th Int. Conf. Software Eng., Baltimore, MD, May 1993.
5. Proc. VDM'91, Noordwijkerhout, The Netherlands, 1991.