Universitšt Karlsruhe
Dr. Axel Dold

Projects

Former
Verifix

Publications

1998
Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends
Dold, Gaul, Zimmermann, Mechanized Verification of Compiler Back-Ends
 
1996
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
Login
Links