- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM ; day:8 ; month:6 ; year:2021 ; pages:1-30
Formal aspects of computing ; (8.6.2021), 1-30
- Creator
-
Foster, Simon
Nemouchi, Yakoub
Gleirscher, Mario
Wei, Ran
Kelly, Tim
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-021-00537-4
- URN
-
urn:nbn:de:101:1-2021100120521893336922
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Foster, Simon
- Nemouchi, Yakoub
- Gleirscher, Mario
- Wei, Ran
- Kelly, Tim
- SpringerLink (Online service)
Other Objects (12)
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
A Formalization and Proof Checker for Isabelle’s Metalogic
Isabelle, HOL : a proof assistant for higher order logic
Formal framework for proof generating optimizers
Formal and Natural Proof : a phenomenological approach
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Isabelle
Isabelle.
Isabelle
Isabelle
Computer verification of algorithms using a formal proof system
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
A Formalization and Proof Checker for Isabelle’s Metalogic
Isabelle, HOL : a proof assistant for higher order logic
Formal framework for proof generating optimizers
Formal and Natural Proof : a phenomenological approach
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Isabelle
Isabelle.
Isabelle
Isabelle
Computer verification of algorithms using a formal proof system
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
A Formalization and Proof Checker for Isabelle’s Metalogic
Isabelle, HOL : a proof assistant for higher order logic
Formal framework for proof generating optimizers
Formal and Natural Proof : a phenomenological approach
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Isabelle
Isabelle.
Isabelle
Isabelle