search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Modeling and Programming #29

Open jff opened 5 years ago

jff commented 5 years ago

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

Course code, if applicable: University hosting the course: Université de Toulouse/Toulouse INP/ENSEEIHT Contact person: Marc Pantel, Marc.Pantel@toulouse-inp.fr Concepts taught: Logic, Induction, Hoare logic, Program proof, Language theory Tools used: Coq, Why3 Webpage: Year/Level: 3 Reviewed: 2021/06/28