Formal Methods Wiki

Virtual Library
Software Engineering
Hazards and Risk
Formal methods

Please contact Jonathan Bowen if you know of relevant online information not included here.

This document contains pointers to information on Safety-Critical Systems, where human lives may be at risk, especially involving software and computers, available around the world on the World Wide Web (WWW).

! indicates new information. * indicates (subjectively) recommended information.

Relevant newsgroups

Repositories and mailing lists

See also information on formal methods which are often recommended for safety-critical systems.


Clubs and organizations

No known online information is available from some of the above organizations. Pointers would be gratefully received.

See also the French National Institute for Transport and Safety Research (INRETS) in English and French.


* Search for and critical publications on safety-critical systems and see the Dependability References Database in The Collection of Computer Science Bibliographies.

See also safety-critical software links from the Online Ethics Center.


See also:


The following relevant books have online information:

See also:


The following provide safety-critical systems consultancy:


This page was mentioned in:

Safety-critical systems and the World Wide Web, by Jonathan Bowen. Safety Systems: The Safety-Critical Systems Club Newsletter, 4(2):16, January 1995.

Final thought

"If the automobile had followed the same development cycle as the computer, a Rolls-Royce would today cost $100, get a million miles per gallon, and explode once a year, killing everyone inside."

— Robert X. Cringely

Last updated by Jonathan Bowen, 1 April 2009.
Further information for possible inclusion is welcome.