Summary of a Workshop on Software Certification and Dependability

Presents a summary of workshop participants; and presentations and subsequent discussion. This report covers, among other things, the strengths and limitations of process; challenges and opportunities; experience to date; organization context; and cost-effectiveness of software engineering techniques.