- Location: bâtiment Sophie Germain, room 2036.
- Time: Wednesday, 16:00 to 19:00.
- First course: December 7th.
- Project description: end of December.
- Project due: February 27th
- Exam: March 1st
Example programs for some lectures will be using the verification environment Why3. There is an on-line version of Why3 that can be used to replay the simplest examples. However, for more complex examples and for the project that require several provers, it is necessary to install Why3 and the automated provers.
You may find detailed instructions in this installation procedure.
Remark: there will be no course on January 4th.
The project was provided on January 10th.
To install Why3 and the automated provers, follow the installation procedure.