Specify and verify - Githubissues

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

Specify and verify #90

Open alaingiorgetti opened 2 years ago

alaingiorgetti commented 2 years ago

Course code, if applicable: University hosting the course: Université de Franche-Comté Contact person: Alain Giorgetti, alain.giorgetti@univ-fcomte.fr Concepts taught: Deductive Verification ,Distributed Systems,Formal Specification,Model Checking Tools used: Why3, Cubicle Webpage: Year/Level: MSc

jff commented 2 years ago

Thanks, @alaingiorgetti ! Do you have a website for this course?