|
Abstract : |
This paper introduces a new notation called S which is based on higher order logic. It has been developed specifically to support the practical application of formal methods in industrial scale projects. The development of S has occurred in the context of an investigation into the possibility of using formal specification techniques in the development of a $400 million air traffic control system. We were motivated to develop this notation after reaching the conclusion that existing notations such as Z are not suitable for use in this particular project. In addition to providing an introduction to S, this paper describes a public domain software tool called ``Fuss' ' which has been implemented to support the use of S as a specification language., |
