SCT Student Projects - Olivier Girard

The goal of this semester project is to make a case study for the Spec# system from a practitioner point of view. A part of a real-life C# application should be transformed to the Spec# programming language in order to test the capabilities of the Spec# system. This will be a subset of the Mono1 System.IO core component. This case study should point out advantages and disadvantages of the current system. The implementation and the results of the case study will be documented. We are hoping that this documentation will support Spec# practitioners and programmers and that it will be used and extended by the community in future.