The industrial use of formal methods: was Darwin right?
Miller, S.P.
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Volume , Issue , 1998 Page(s):74 - 82
Digital Object Identifier   10.1109/WIFT.1998.766300
Summary: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

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.