Software Verification Master 2, 2017–2018

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.

References

Bibliography

Links

OCaml Documentation

Previous Exams