The Study Committee on “Sufficient Evidence? Building Certifiably Dependable Systems” has published the results of a Workshop on Software Certification and Dependability held on April 19-20, 2004.

The study committee is organized by the Computer Science and Telecommunications Board, National Academy of Science to assess current practices for developing and evaluating mission-critical software and to develop a research agenda for dependable software system development and certification.

For the workshop results see NAS/CSTB current projects