Formal methods in the development of safety critical software systems

The work

TitleFormal methods in the development of safety critical software systems
AuthorsLloyd G. Williams
Typetechnical report
Year1992
Also known aswilliams1991formal
Citekeywilliams1992formal

Where it appeared

PublisherLawrence Livermore National Laboratory
Number in seriesUCRL-ID-109416

Abstract

As the use of computers in critical control systems such as aircraft controls, medical instruments, defense systems, missile controls, and nuclear power plants has increased, concern for the safety of those systems has also grown. Much of this concern has focused on the software component of those computer-based systems. This is primarily due to historical experience with software • systems that often exhibit larger numbers of errors than their hardware counterparts and the fact that the consequences of a software error may endanger human life, property, or the environment.

Copy held

KindPDF, 2.8 MB
Retrieved2026-08-05
Heldlocal, for personal reference
Opens atpage 5

Where this came from

How it got herealready cited · cited in bibtex
First seen2026-08-04
Recordreviewed by a person
Approved2026-08-21
In: Do formal methods pay off? topic When software kills topic

Cite it as

@techreport{williams1992formal,
  title = {Formal methods in the development of safety critical software systems},
  author = {Lloyd G. Williams},
  year = {1992},
  publisher = {Lawrence Livermore National Laboratory},
  volume = {UCRL-ID-109416},
}

This record lives at https://refs.drheap.org/williams1992formal/ and will keep doing so. It used to be called williams1991formal, and those addresses still resolve to this one.