Experience with formal methods in critical systems

  title={Experience with formal methods in critical systems},
  author={Susan L. Gerhart and Dan Craigen and Ted Ralston},
  journal={IEEE Software},
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.<<ETX>> 

From This Paper

Topics from this paper.
75 Citations
6 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 75 extracted citations


Publications referenced by this paper.
Showing 1-6 of 6 references

An International Survey ofTndustrial Applications of Fonnal Methods, Vo lume 1 Snldy Methodology Te ch. Report PB93-178556/ AS, National Te chnical lnfunna­ tion Senice

  • D Craigen, S Gerhart, T Ralston
  • Atomic Energy Control Board of Canada
  • 1993

Observations on Industrial Applications of Fonnal MethodsFonnal Methods Reality Cht:ck: Industrial Csage

  • S Gerhart, D Craigen, T Ralston
  • Proc 15th Inti. Crmference rm Software Eng…
  • 1993

He Procurement of Safe ty Cr itical Sof tware in Defe nce Equipment (Part I: Requirement<, Part 2: Guid­ ance), Interim Defence Standard 00-55, Issue 1, Ministry of Defence

  • He Procurement of Safe ty Cr itical Sof tware in…
  • 1991

UJ orth), Computer Sy stems! D. Craigf:n and K. Summerskill, eels., Springer­ Ve rlag

  • Formal Kle Thods Fo R T Ru
  • UJ orth), Computer Sy stems! D. Craigf:n and K…
  • 1990

Similar Papers

Loading similar papers…