search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Specification and Verification #84

Closed mtaimoorkhan closed 2 years ago

mtaimoorkhan commented 2 years ago

Course code, if applicable: University hosting the course: Alpen-Adria University Contact person: Dr M Taimoor Khan, muhammad.khan@aau.at Concepts taught: Applied Formal Methods,Behavioural Modelling,Deductive Software Verification,Deductive Verification ,Formal Specification,Hoare Logic,Logic,Model Checking,Software Verification Tools used: Java,JML,KeY,Spin Webpage: https://campus.aau.at/studien/lvliste.jsp?semester=18W&atoken=578578352 Year/Level: UG/PG

mtaimoorkhan commented 2 years ago

FM-based course was added.