Searching for authors named "Axel Dold" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Machines using PVS
- … State Machines using PVS Axel Dold, Fakult"at f"ur Informatik Universit"at Ulm D-89069 Ulm, Germany…
- Add To MetaCart
-
Formal Verification of a Compiler Back-end
- … Formal Verification of a Compiler Back-end Generic Checker Program ? Axel Dold and Vincent…
- Add To MetaCart
-
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines
- … Zimmermann 1 and Axel Dold 2 1 Martin-Luther Universität Halle-Wittenberg, Institut für Informatik, 06099…
- Cited by 4 (0 self) – Add To MetaCart
-
A Mechanically Verified Compiling Specification for a Lisp Compiler
- …A Mechanically Veried Compiling Specication for a Lisp Compiler ? Axel Dold and Vincent Vialard…
- Cited by 8 (0 self) – Add To MetaCart
-
ASM-Based Mechanized Verification of Compiler Back-Ends
- …ASM-Based Mechanized Verification of Compiler Back-Ends Axel Dold 1 , Thilo Gaul 2 , Vincent…
- Cited by 9 (2 self) – Add To MetaCart
-
Formal Software Development using Generic Development Steps
- …Formal Software Development using Generic Development Steps Axel Dold Fakultat fur Informatik…
- Add To MetaCart
-
Representing, Verifying and Applying Software Development Steps using the
- …Representing, Verifying and Applying Software Development Steps using the PVS System ? Axel Dold…
- Cited by 2 (0 self) – Add To MetaCart
-
Project Partners
- … of the Normal Form Approach to Compilation Axel Dold Abt. K"unstliche Intelligenz Fakult"at f"ur Informatik…
- Add To MetaCart
-
ASM-Based Mechanized Verification of Compiler Back-Ends
- …ASM-Based Mechanized Verification of Compiler Back-Ends Axel Dold 1 , Thilo Gaul 2 , Vincent…
- Add To MetaCart
-
Compiler Correctness and Implementation Verification: The Verifix Approach
- … Axel Dold x Thilo Gaul z Gerhard Goos z Andreas Heberle z Friedrich W. von Henke x Ulrich…
- Cited by 14 (6 self) – Add To MetaCart
Showing 1 through 10.
