Title :
The industrial use of formal methods: was Darwin right?
Author :
Miller, Steven P.
Author_Institution :
Rockwell Collins, Cedar Rapids, IA, USA
Abstract :
Even though the use of formal methods in industry has been documented in numerous case studies, scepticism about their usefulness remains widespread. However, formalisms have evolved rapidly over the last decade and are doing a much better job of meeting the needs of industry. This paper briefly describes several of the experiments in formal methods that have been conducted at Rockwell Collins and attempts to pull these observations together into a profile of what industry needs from the research community
Keywords :
formal specification; formal verification; Rockwell Collins; formal methods; industrial use; industry; Digital systems; Europe; Formal verification; Hardware; Identity-based encryption; Industrial training; Safety;
Conference_Titel :
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location :
Boca Raton, FL
Print_ISBN :
0-7695-0081-1
DOI :
10.1109/WIFT.1998.766300