The industrial use of formal methods: was Darwin right?
Miller, S.P.
Rockwell Collins, Cedar Rapids, IA;
This paper appears in: Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Publication Date: 1998
On page(s): 74-82
Meeting Date: 10/21/1998 - 10/23/1998
Location: Boca Raton, FL, USA
ISBN: 0-7695-0081-1
References Cited: 31
INSPEC Accession Number: 6306480
Digital Object Identifier: 10.1109/WIFT.1998.766300
Current Version Published: 2002-08-06
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
