Application of formal methods to system and software specification

W. Wood
DOI: https://doi.org/10.1145/99569.99837
1990-04-01
Abstract:This position paper describes our efforts to apply formal, methods to the specification of complex systems and the overlap of these efforts with the topics of the workshop. The introduction describes why we are interested in using formal methods, and it is followed by short descriptions of the individual tasks with which we are currently involved. The conclusion relates these tasks to the workshop topics.
What problem does this paper attempt to address?