Closed mtaimoorkhan closed 2 years ago
Course code, if applicable: 622.050 (Theory) and 622.051 (Practical) 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,Modelling,Software Verification Tools used: ESC/Java,Java,JML,KeY,Spin Webpage: https://campus.aau.at/studien/lvliste.jsp?atoken=578578352 Year/Level: 4
I have added another course that is based on formal methods.
Re-opening.
Course code, if applicable: 622.050 (Theory) and 622.051 (Practical) 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,Modelling,Software Verification Tools used: ESC/Java,Java,JML,KeY,Spin Webpage: https://campus.aau.at/studien/lvliste.jsp?atoken=578578352 Year/Level: 4