Open klaeufer opened 6 months ago
Course code, if applicable: COMP 335 University hosting the course: Loyola University Chicago Contact person: Konstantin Läufer, klaufer@luc.edu Concepts taught: Applied Formal Methods,Behavioural Modelling,Formal Specification,Model Checking,Property-Based Testing,Temporal Logic Tools used: Java,jqwik,TLA Webpage: https://lucformalmethodscourse.github.io/ Year/Level: 3
Thanks for your contribution, @klaeufer! The course is now shown in the public database.
Course code, if applicable: COMP 335 University hosting the course: Loyola University Chicago Contact person: Konstantin Läufer, klaufer@luc.edu Concepts taught: Applied Formal Methods,Behavioural Modelling,Formal Specification,Model Checking,Property-Based Testing,Temporal Logic Tools used: Java,jqwik,TLA Webpage: https://lucformalmethodscourse.github.io/ Year/Level: 3