Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
- Alternative title
-
Formale Verifikation von Low-Level Programmen im Rahmen eines modellbasierten Verfeinerungsprozesses (Technischer Bericht: Isabelle/HOL Formalisierung)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2019
- Creator
-
Berg, Nils
Bartels, Björn
Danziger, Armin
Grochau Azzi, Guilherme
Bentert, Matthias
- DOI
-
10.14279/depositonce-8636
- Handle
-
11303/9591
- URN
-
urn:nbn:de:101:1-2019092502014090573393
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
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
- Berg, Nils
- Bartels, Björn
- Danziger, Armin
- Grochau Azzi, Guilherme
- Bentert, Matthias
- Technische Universität Berlin
Time of origin
- 2019
Other Objects (12)
Formal verification of low-level code in a model-based refinement process
Formalization of logical calculi in Isabelle/HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Formalization of logic
A model-based approach for the specification and refinement of streaming applications
A model-based approach for the specification and refinement of streaming applications
A Model-Based Climatology of Low-Level Jets in the Weddell Sea Region of the Antarctic
Formalization of natural languages
A Formalization of ODMG Queries
Low-Level 71Ge-Nachweis [Ge-Nachweis]
Formal verification of low-level code in a model-based refinement process
Formalization of logical calculi in Isabelle/HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Formalization of logic
A model-based approach for the specification and refinement of streaming applications
A model-based approach for the specification and refinement of streaming applications
A Model-Based Climatology of Low-Level Jets in the Weddell Sea Region of the Antarctic
Formalization of natural languages
A Formalization of ODMG Queries
Low-Level 71Ge-Nachweis [Ge-Nachweis]
Formal verification of low-level code in a model-based refinement process
Formalization of logical calculi in Isabelle/HOL
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic
A Formalization of Typed Aspects for the ς-calculus in Isabelle/HOL
Formalization of logic
A model-based approach for the specification and refinement of streaming applications
A model-based approach for the specification and refinement of streaming applications
A Model-Based Climatology of Low-Level Jets in the Weddell Sea Region of the Antarctic
Formalization of natural languages
A Formalization of ODMG Queries