L3 ENS - Semantics and application to verification

Practical sessions

• TP 1 - Denotational semantics
• TP 2 - Types
• TP 3 - Interval analysis
• TP 4 - Relational analysis

Project

You are required, for the final grade, to complete any of the two following projects:

• The static analyzer project is available here.
• The abstract domain project is available here.

Your project must be delivered before Sunday, May 30th, 6pm CET. Please start working on the project in advance, to avoid rushing it after your exams…

You can work alone or in groups of 2. Please, favor the latter.

The project must be delivered by email to me, in the form of a compressed archive (with tar or zip), called yournames{.tgz, .zip} which must contain a directory called yournames (example: dupont-durand).