search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Spezifikation und Verifikation #86

Open mtaimoorkhan opened 2 years ago

mtaimoorkhan commented 2 years ago

Course code, if applicable: 622.050 (Theory) and 622.051 (Practical) University hosting the course: Alpen-Adria University Contact person: M Taimoor Khan, muhammad.khan@aau.at Concepts taught: Applied Formal Methods,Behavioural Modelling,Deductive Software Verification,Deductive Verification ,Formal Specification,Hoare Logic,Logic,Linear Temporal Logic (LTL),Model Checking,Modelling,Software Verification Tools used: ESC/Java,Java,JML,Spin Webpage: https://campus.aau.at/studien/lvliste.jsp?atoken=578578352 Year/Level: 4 Reviewed: 2021/12/23

mtaimoorkhan commented 2 years ago

I have added one of my course that is based on formal methods.

jff commented 2 years ago

Thank you for your contribution, @mtaimoorkhan

This course is now in publicly shown in the courses database.