- Alternative title
-
Formale Verifikation von Low-Level Programmen im Rahmen eines modellbasierten Verfeinerungsprozesses
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universität Berlin, Dissertation, 2019
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2019
- Creator
- Contributor
-
Glesner, Sabine
König, Barbara
Lüttgen, Gerald
- DOI
-
10.14279/depositonce-8638
- Handle
-
11303/9593
- URN
-
urn:nbn:de:101:1-2019102302105476554091
- Rights
-
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
- Berg, Nils Erik
- Glesner, Sabine
- König, Barbara
- Lüttgen, Gerald
- Technische Universität Berlin
Time of origin
- 2019
Other Objects (12)
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Refinement-Based Verification of Communicating Unstructured Code
A framework for embedded software portability and verification: from formal models to low-level code
Automated and foundational verification of low-level programs
Interprocedural Analysis of Low-Level Code
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Refinement and separation: modular verification of wandering trees
Improving Neural Network Verification through Spurious Region Guided Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Model-based Generation of Assertions for Pre-silicon Verification
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Refinement-Based Verification of Communicating Unstructured Code
A framework for embedded software portability and verification: from formal models to low-level code
Automated and foundational verification of low-level programs
Interprocedural Analysis of Low-Level Code
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Refinement and separation: modular verification of wandering trees
Improving Neural Network Verification through Spurious Region Guided Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Model-based Generation of Assertions for Pre-silicon Verification
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Refinement-Based Verification of Communicating Unstructured Code
A framework for embedded software portability and verification: from formal models to low-level code
Automated and foundational verification of low-level programs
Interprocedural Analysis of Low-Level Code
Correction: A framework for embedded software portability and verification: from formal models to low-level code
Refinement and separation: modular verification of wandering trees
Improving Neural Network Verification through Spurious Region Guided Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement