search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

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

Open jff opened 4 years ago

jff commented 4 years ago

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

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 Software Verification, proof assistants, static program analysis Tools used: COQ, Why3, frama-C Webpage: http://www.di.ubi.pt/~desousa/CF/comfia.html Year/Level: MSc

jff commented 4 years ago

Comment by smdsousa Monday Apr 15, 2019 at 12:58 GMT

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 Software 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