DocumentCode
994867
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
Volume
11
Issue
1
fYear
1994
Firstpage
21
Lastpage
28
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;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.251198
Filename
251198
Link To Document