Verifix at Kiel
zu Kiel
    Project Partners  
W. Goerigk, A. Dold, Th. Gaul, G. Goos, A. Heberle, F.W. von Henke,U. Hoffmann, H. Langmaack, H. Pfeifer, H. Rueß, and W. Zimmermann.
Compiler Correctness and Implementation Verification: The Verifix Approach.
In P. Fritzson (ed.) Proceedings of the Poster Session of CC '96 - International Conference on Compiler Construction, IDA Technical Report LiTH-IDA-R-96-12, Linkøping University, Sweden, April 1996.

Th. Gaul, G. Goos, A. Heberle, W. Zimmermann, and W. Goerigk.
An Architechture for Verified Compiler Construction.
Joint Modular Languages Conference JMLC'97 (Short Presentation). Linz, Austria, March 1997.

W. Goerigk.
Towards Rigorous Compiler Implementation Verification (Short Version).
In R. Berghammer and F. Simon (eds.) Workshop on Programming Languages and Fundamentals of Programming, Avendorf, September 1998.

W. Goerigk and U. Hoffmann.
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct?
Proceedings FMTrends'98, Springer LNCS, Boppard, 1998. To Appear.

W. Goerigk, Th. Gaul, and W. Zimmermann.
Correct Programs without Proof? On Checker-based Program Verification.
In R. Berghammer and Y. Lakhnech (eds.) Proceedings ATOOLS'98, Springer Advances in Computing Science, Malente, 1998. To Appear.

W. Goerigk and F. Simon.
Towards Rigorous Compiler Implementation Verification.
In J. Padget (ed.) Proceedings VIM Spring and Winter Workshops, Springer LNCS, Ravello, Italy, 1998. To Appear.

W. Goerigk, W. Zimmermann, Th. Gaul, A. Heberle, and U. Hoffmann.
Praktikable Konstruktion korrekter Übersetzer.
In K.P. Löhr (ed.) Proceedings Softwaretechnik ST'98, Softwaretechnik-Trends, Paderborn, 1998.

U. Hoffmann.
Korrekte Implementierung von Übersetzungsspezifikationen in hoher Programmiersprache.
In H. Kuchen (ed.) Arbeitstagung Programmiersprachen, Aachen, September 1997.

U. Hoffmann.
Correct Implementation of Compiler Programs.
In R. Berghammer and F. Simon (eds.) Workshop on Programming Languages and Fundamentals of Programming, Avendorf, September 1998.

U. Hoffmann.
Compiler Implementation Verification through Rigorous Syntactical Code Inspection.
Ph.D. Thesis, Technical Faculty, CAU Kiel, 1998.

H. Langmaack.
The ProCoS Approach to Correct Systems.
Real Time Systems (13), 1997.

H. Langmaack.
Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Übersetzerkorrektheit.
Informationstechnik und Technische Informatik it-ti 97(3):41-47, 1997.

H. Langmaack.
Theoretische Informatik ist Grundlage für das sichere Beherrschen realistischer Software und Systeme..
In K. Brunnstein und H. Oberquelle (eds.) 25 Jahre Informatik Hamburg. Informatik: Stand, Trend, Visionen. Bericht FBI-HH-B-195/97, Hamburg, 1997.

H. Langmaack.
Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification.
Foundations of Computer Science: Potential-Theory-Cognition, Springer LNCS 1337, 1997.

M. Müller-Olm.
Modular Compiler Verification. A Refinement-Algebraic Approach Advocating Stepwise Abstraction.
Lecture Notes in Computer Science 1283, Springer Verlag, Berlin, Heidelberg, New York, 1997.
   Technical Reports  
    Code Reviews