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

The project is available here!