- Weitere Titel
-
Formale Verifikation von Low-Level Programmen im Rahmen eines modellbasierten Verfeinerungsprozesses
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Dissertation, 2019
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Berg, Nils Erik
- Glesner, Sabine
- König, Barbara
- Lüttgen, Gerald
- Technische Universität Berlin
Entstanden
- 2019
Ähnliche Objekte (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