Software Verification Master 2, 2016–2017

Slides

Exercises

Lab Sessions

The course includes lab sessions devoted to the step-by-step implementation of a simple program analyzer. Developments are realized in OCaml.

Project

Refer to the file homework.pdf of the project assignment archive for the description of the homework.

The project shall be conducted in groups of at most two students.

Projects must be sent to Grégoire Sutre by Friday, December 16, 2016 at 14h00.

References

Bibliography

Links