|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Experience with Formal Methods in Critical Systems
January/February 1994 (vol. 11 no. 1)
pp. 21-28
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/52.251198, author = {Susan Gerhart and Dan Craigen and Ted Ralston}, title = {Experience with Formal Methods in Critical Systems}, journal ={IEEE Software}, volume = {11}, number = {1}, issn = {0740-7459}, year = {1994}, pages = {21-28}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.251198}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Experience with Formal Methods in Critical Systems IS - 1 SN - 0740-7459 SP21 EP28 EPD - 21-28 A1 - Susan Gerhart, A1 - Dan Craigen, A1 - Ted Ralston, PY - 1994 KW - safety; software reliability; security of data; formal specification; legislation; formal methods; critical systems; social benefits; risky applications; regulatory agencies; safety assurance; security VL - 11 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.251198
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.
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, Jan.-Feb. 1994, doi:10.1109/52.251198
Usage of this product signifies your acceptance of the Terms of Use.