A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
S: A machine readable specification notation based on higher order logic
[chapter]
1994
Lecture Notes in Computer Science
Preserved Fulltext
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
doi:10.1007/3-540-58450-1_49
fatcat:fesxu74t7rahla3ejodgiijd24