Proofs of Programs - Githubissues

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

32 stars 4 forks source link

Proofs of Programs #25

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: University hosting the course: Université Paris-Diderot Contact person: Claude Marché (Claude.Marche@inria.fr) Concepts taught: Hoare Logic, Weakest preconditions, handling procedure calls modularly, handling data structures, aliasing issues, separation logic Tools used: Why3, Frama-C Webpage: http://www.lri.fr/~marche/MPRI-2-36-1/ Year/Level: MSc

claudemarche commented 5 years ago

This course is at level MSc, more precisely at second year of Parisian Master in Computer Science