- 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
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
-
25.03.2025, 1:43 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 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
Automated and foundational verification of low-level programs
Interprocedural Analysis of 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
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
A mechanized verification environment for real-time process algebras and low-level programming languages
Model-based Generation of Assertions for Pre-silicon Verification
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Refinement-Based Verification of Communicating Unstructured Code
Automated and foundational verification of low-level programs
Interprocedural Analysis of 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
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
A mechanized verification environment for real-time process algebras and low-level programming languages
Model-based Generation of Assertions for Pre-silicon Verification
Abstraction and abstraction refinement in the verification of graph transformation systems
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Refinement-Based Verification of Communicating Unstructured Code
Automated and foundational verification of low-level programs
Interprocedural Analysis of 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
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
A mechanized verification environment for real-time process algebras and low-level programming languages
Model-based Generation of Assertions for Pre-silicon Verification