search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Proofs of Programs #25

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Tuesday Aug 21, 2018 at 09:51 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/25

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

jff commented 5 years ago

Comment by claudemarche Thursday Apr 11, 2019 at 07:59 GMT

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