Title :
Experience with formal methods in critical systems
Author :
Gerhart, Susan ; Craigen, Dan ; Ralston, Ted
Author_Institution :
Res. Inst. for Comput. & Inf. Syst., Houston Univ., Clear Lake, TX, USA
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 :
formal specification; legislation; safety; security of data; software reliability; critical systems; formal methods; regulatory agencies; risky applications; safety assurance; security; social benefits; Application software; Safety;
Journal_Title :
Software, IEEE
