What Does Industry Need From Formal Specification Techniques?

In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role of formal specifications in development and consider what are the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons we have learned about for formal specification techniques and about the tools which support them.

• Type: Conference
• Year: 1998
• Where: WIFT
• Authors: Anthony Hall
• Keywords: Formal Specification, Formal Specification Techniques, Formal Techniques, Hardware, WIFT 1998