We do not maintain this page any more.
Please visit our new web presence for up-to-date information.

Chair of Programming Methodology

SCT Student Projects - Claudia Brauchli

Master Project - Integration of a new VCGen in ESC/Java2

Goal of this master thesis is to implement several parts of a new VCGen for ESC/Java2 which will then be used in the Mobius Project to generate source proof obligations.

Project Timeframe:	19. March 2007 - 18. September 2007
Project Description:	PDF
Project Report:	PDF
Supervisor:	Hermann Lehner