The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1994 vol.11)
pp: 21-28
ABSTRACT
<p>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.</p>
INDEX TERMS
safety; software reliability; security of data; formal specification; legislation; formal methods; critical systems; social benefits; risky applications; regulatory agencies; safety assurance; security
CITATION
Susan Gerhart, Dan Craigen, Ted Ralston, "Experience with Formal Methods in Critical Systems", IEEE Software, vol.11, no. 1, pp. 21-28, January/February 1994, doi:10.1109/52.251198
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool