Evaluation
| Assignment 1 |
15% |
| Assignment 2 |
15% |
| Paper Presentation |
20% |
Project Presentation
|
10% |
Project Report
|
30%
|
| Participation |
10% |
Students are required to do two assignments:
- modelling and verifying the behaviour of a small software system
(using SMV)
- modelling and verifying the structure of a small object model
(using Alloy)
Students are also required to give a presentation on an important
research paper in formal verification. These presentations are
tentatively scheduled for the beginning of March.
Students are also required to carry out a project where they will
specify and verify a larger software system using a modelling notation
and tool whose semantics can be configured by the user.
Assignments and the project may be done individually or in groups of
two.