Formal methods: an introduction

[tofgarion]

Course code, if applicable: FITR034
University hosting the course: ISAE-SUPAERO
Contact person: Christophe Garion, [email protected]
Concepts taught: Abstract Interpretation,Applied Formal Methods,Deductive Software Verification,Hoare Logic,Model Checking,SMT,Static Analysis
Tools used: Alter-Ergo,C,Frama-C,Nusmv,OCaml,Spark/Ada,Why3,Z3
Webpage: https://personnel.isae-supaero.fr/christophe-garion/teaching-activities-and-courses.html?lang=fr#outil_sommaire_1
Year/Level: MSc
Reviewed: 2022/03/30

[jff]

Thank you for your contribution, @tofgarion ! This course is now publicly shown in the course database. Do you have a website that we can share as well?

[luigiapetre]

Hi Joao, I checked and the webpage is only for people within the university. I have added his email and the webpage with all the courses he teaches.

[tofgarion]

Hi Luigi and Joao,

Sorry for not having responsed to Joao on his comments from november 2021. Indeed, there is no public available web page for the course.

Best,

Christophe

[luigiapetre]

Thank you, Christophe! All good.