Deriving safety cases from automatically constructed proofs - Basir, N; Denney, E; Fischer, B (4th IET International Conference on System Safety 2009. Incorporating the SaRS Annual Conference, 2009)
Keywords: 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