Experience with formal methods in critical systems
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 11 (1) , 21-28
- https://doi.org/10.1109/52.251198
Abstract
Although there are indisputable benefits to society from the introduction of computers into everyday life, some applications are inherently risky. Worldwide, regulatory agencies are examining how to assure safety and security. This study reveals the applicability and limitations of formal methods.<>Keywords
This publication has 7 references indexed in Scilit:
- Formal methods reality check: Industrial usagePublished by Springer Nature ,2005
- A case study in cleanroom software engineering: the IBM COBOL Structuring FacilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Observations on industrial practice using formal methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal specification and verification of control software for cryptographic equipmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Software-engineering research revisitedIEEE Software, 1993
- Formal specifications as reusable frameworksPublished by Springer Nature ,1990
- Formal methods applied to a floating-point number systemIEEE Transactions on Software Engineering, 1989