search

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods
33 stars 4 forks source link

Computação Fiável (Reliable Programming) #26

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: University hosting the course: University of Beira Interior Contact person: Simao Melo de Sousa (desousa@di.ubi.pt) Concepts taught: Deductive Program Verification, proof assistants, static program analysis Tools used: COQ, Why3, frama-C Webpage: http://www.di.ubi.pt/~desousa/CF/comfia.html, http://www.di.ubi.pt/~desousa/SFS/sfs.html Year/Level: MSc, PhD

smdsousa commented 5 years ago

Course code, if applicable: 11480 University hosting the course: University of Beira Interior Contact person: Simao Melo de Sousa (desousa@di.ubi.pt) Concepts taught: Deductive Program Verification, proof assistants, static program analysis Tools used: COQ, Why3, frama-C Webpage: http://www.di.ubi.pt/~desousa/CF/comfia.html, http://www.di.ubi.pt/~desousa/SFS/sfs.html Year/Level: MSc