Abstract
Formal specification and verification techniques have been advocated for life-critical applications for over two decades but have only been applied to a few deployed systems. Nevertheless, formal methods have been successfully used on increasingly difficult research problems over the last 5–10 years. A key question arises: “Have we finally reached the place where the transfer of this technology to industry is practical?”
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Butler, R.W. (1995). Formal Methods Panel: Are Formal Methods Ready for Dependable Systems?. In: Cristian, F., Le Lann, G., Lunt, T. (eds) Dependable Computing for Critical Applications 4. Dependable Computing and Fault-Tolerant Systems, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9396-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9396-9_3
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9398-3
Online ISBN: 978-3-7091-9396-9
eBook Packages: Springer Book Archive