Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. (16th August 2021)
- Record Type:
- Journal Article
- Title:
- Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. (16th August 2021)
- Main Title:
- Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM
- Authors:
- Foster, Simon
Nemouchi, Yakoub
Gleirscher, Mario
Wei, Ran
Kelly, Tim - Abstract:
- Abstract: The paper, by Simon Foster, Yakoub Nemouchi, Mario Gleirscher, Ran Wei and Tim Kelly, published in The Formal Aspects of Computing—Applicable Formal Methods (June 2021), explores the introduction of Isabelle/SACM into formal methods of assurance.
- Is Part Of:
- ITNow. Volume 63:Number 3(2021)
- Journal:
- ITNow
- Issue:
- Volume 63:Number 3(2021)
- Issue Display:
- Volume 63, Issue 3 (2021)
- Year:
- 2021
- Volume:
- 63
- Issue:
- 3
- Issue Sort Value:
- 2021-0063-0003-0000
- Page Start:
- 66
- Page End:
- 66
- Publication Date:
- 2021-08-16
- Subjects:
- Information technology -- Periodicals
Computers -- Periodicals
Computer systems -- Periodicals
004.05 - Journal URLs:
- http://itnow.oupjournals.org ↗
http://ukcatalogue.oup.com/ ↗
http://www.bcs.org/BCS/Products/publishing/itnow/OnlineArchive ↗ - DOI:
- 10.1093/itnow/bwab095 ↗
- Languages:
- English
- ISSNs:
- 1746-5702
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 4588.687500
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 18478.xml