Abstract
The appreciation of formal methods as useful tools for the design and analysis of communicating systems is subject to considerable variation of opinion. They are seen as a solution by some, and a problem by others. They have been hailed as the answer to the software crisis by some and others have detested them for their obvious inapplicability. Some think their days are yet to come, for others they are part of a now forsaken paradigm. In our presentation we will analyse the reasons for these contradictory views. By reviewing some successful and failed applications of formal methods we will try and find out under what conditions the application of formal methods is profitable.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Brinksma, E. (1996). Using Formal Methods: if you’re so smart how come you ain’t rich?. In: Gotzhein, R., Bredereke, J. (eds) Formal Description Techniques IX. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35079-0_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-35079-0_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2883-4
Online ISBN: 978-0-387-35079-0
eBook Packages: Springer Book Archive