Pitfalls of Formality in Early System Design

Research output: Chapter in Book/Report/Conference proceedingConference contribution


One of the advantages of using formal methods in design should be that we can be precise about where our methods fail. However, it is rare to find discussions in the literature of problems in applying formal methods - particularly in the early stages of design. One reason for this is that failures are often caused by the context in which a method is applied, rather than by some purely technical limitation. Using examples from research in which I have been involved I shall describe some of the pitfalls I have encountered and which I have observed frequently in the research of others.
Original languageEnglish
Title of host publicationProceedings of the ARO/NSF Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development
Publication statusPublished - 1998


Dive into the research topics of 'Pitfalls of Formality in Early System Design'. Together they form a unique fingerprint.

Cite this