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 - Samuel Willimann

Master Project - An Automated Program Verifier for Java Bytecode

Goal of this master project is to extend the translator from Java bytecode to BoogiePL done in earier work so that it can be used to automatically prove the correctness of a BML annotated Java Bytecode program.

Project Timeframe:	5. March 2007 - 4. September 2007
Project Description:	PDF
Project Report:	PDF
Supervisor:	Hermann Lehner