Deriving safety cases from automatically constructed proofs

• Published in: 4th IET International Conference on System Safety 2009. Incorporating the SaRS Annual Conference p. 1A4
• Main Authors: Basir, N, Denney, E, Fischer, B
• Format: Conference Proceeding
• Language: English
• Published: Stevenage IET 2009
• Subjects: Formal methods; Software engineering techniques; automatically constructed proofs; formal proofs; safety-critical software; natural deduction proof tree; Muscadet prover; natural deduction style proofs; logical bookkeeping; safety-critical applications; trustworthiness; formal verification; software engineering; formal software development; automated theorem provers

Formal proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because the formalism in which they are constructed and encoded is usually machine-oriented, and they may a...