Applying formal specification in industry
Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes · IEEE Software · 1996
Industrial software developers confront a bewildering array of software engineering techniques, each with its own promised benefits. The authors introduced formal methods into the specification and modeling activities of a security-critical system's development. They gauged the methods' effectiveness by comparing the results of the group that used them with those of the group that did not. They present their results in this paper.