Open tofgarion opened 3 years ago
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?
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.
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
Thank you, Christophe! All good.
Course code, if applicable: FITR034 University hosting the course: ISAE-SUPAERO Contact person: Christophe Garion, garion@isae-supaero.fr 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