Universität Karlsruhe
Dr. Wolfgang Goerigk
Adresse
Kiel
Tel. 0431/880-7274

Projekte

Abgeschlossen
Verifix

Veröffentlichungen

2001
Goerigk, PulvermĂŒller, Speck, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, TR No. 2018
 
2000
Gaul, Zimmermann, Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
 
1999
Gaul, Heberle, Zimmermann, Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Correct Compilation of a While-Language with Parameterless Recursive Procedures
 
1998
Gaul, Goerigk, Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Praktikable Konstruktion korrekter Übersetzer
 
1997
Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction
 
1996
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
Login
Links