search

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods
32 stars 4 forks source link

System Modelling & Design #5

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: COMP2111 University hosting the course: University of New South Wales Contact person: Kai Engelhardt, kaie@cse.unsw.edu.au Concepts taught: Hoare Logic, data refinement Tools used: Webpage: http://www.cse.unsw.edu.au/~cs2111/