Formal specification techniques in the commercial development process ∗

This paper describes the lessons learned from an application of formal specification techniques in the development of a security-critical system within a UK company. The authors advocate the gradual introduction of formal methods, beginning with an appreciation of existing development processes, and discuss the r ôle played by non-software professionals… CONTINUE READING