Safe Comp 95

This volume contains the papers presented at the SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11-13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guidelines, legal and human aspects, safety analysis, formal methods, design, verification and validation, reliability issues, dependable software technology, and safety-related applications. The volume should be useful reading to those in universities, research institutions, industry and business who wish to be well-informed about computer safety, reliability and security.