Vérification déductive de programmes (deductive verification of programs)

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

32 stars 4 forks source link

Vérification déductive de programmes (deductive verification of programs) #22

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: University hosting the course: Université Paris-Saclay Contact person: Andrei Paskevich and Julien Signoles (julien.signoles@cea.fr) Concepts taught: Hoare logic, WP calculus, formal specifications, memory models Tools used: Frama-C (WP plug-in) and Why3 Webpage: https://www.lri.fr/~conchon/parcours_fiil/science_logiciel.html