Software Verification Master 2, 2018–2019

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