Selected Recent Publications

	W. Goerigk (Invited Paper, 2001):
	Mechanical Software Verification: High Level Control Aspects from a User's Perspective.
	W. Goerigk, H. Langmaack (2001, Submitted):
	Will Informatics be able to Justify the Construction of Large Computer Based Systems?
	R. Bartsch, W. Goerigk (2001, © AAAI Press):
	Mechanical a-posteriori Verification of Results: A Case Study for a Safety Critical AI System.
	W. Goerigk, H. Langmaack (Invited Paper, 2000):
	Compiler Implementation Verification and Trojan Horses. [Draft Extended Version].
	W. Goerigk (2000):
	Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof.
	W. Goerigk (2000, © Kluwer Academic Publishers):
	Compiler Verification Revisited.