search

luigiapetre / Formal-Methods-Courses

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

Model Checking #16

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: COMP452 University hosting the course: The University of Waikato Contact person: Robi Malik, robi.malik@waikato.ac.nz Concepts taught: Model checking Tools used: Webpage: https://paperoutlines.waikato.ac.nz/outline/COMP452-18A%20(HAM)