TLA+ Workshop EWD998 - Githubissues

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

TLA+ Workshop EWD998 #91

Open lemmy opened 1 year ago

lemmy commented 1 year ago

Course code, if applicable: University hosting the course: Microsoft Research Contact person: Markus Kuppe, tlaplus-ewd998-workshop@lemmster.de Concepts taught: Distributed Systems,Formal Specification,Model Checking,Modelling,Software Architecture,Specification,Temporal Logic Tools used: TLA Webpage: https://github.com/tlaplus-workshops/ewd998 Year/Level: Industrial

jff commented 1 year ago

Thank you, @lemmy ! I've set the country of this course as United States. Please let me know if that is incorrect.