Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

Nemouchi, Yakoub, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (1 more author) (2019) Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. In: Integrated Formal Methods:Proceedings of the 15th International Conference. LNCS . Springer , pp. 379-398.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Dates:
  • Published (online): 22 November 2019
  • Accepted: 16 September 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/S001190/1
Depositing User: Pure (York)
Date Deposited: 02 Oct 2019 08:50
Last Modified: 15 Mar 2025 00:14
Status: Published online
Publisher: Springer
Series Name: LNCS
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics