Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © The Author(s) 2021
Dates:
  • Accepted: 19 January 2021
  • Published: 8 June 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 27 Jan 2021 13:30
Last Modified: 22 Sep 2021 00:06
Published Version: https://doi.org/10.1007/s00165-021-00537-4
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1007/s00165-021-00537-4
Related URLs:

Download

Filename: Foster2021_Article_IntegrationOfFormalProofIntoUn.pdf

Description: Integration of formal proof into unified assurance cases with Isabelle/SACM

Share / Export

Statistics