\ Chair of Programming Methodology ETH - Student Projects - Simon Hofer

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 - Simon Hofer

Master Thesis - Verification of Design Patterns

The goal of the thesis is to propose and implement verification methodologies and new Spec# language constructs for the Singleton, Visitor and Composite design patterns in order to simplify the specification process and enhance the specification expressiveness for the verification of object collaborations.

Project Timeframe:	September 2008 to February 2009
Project Description:	PDF
Supervisor:	Joseph N. Ruskiewicz