Specification Languages and Models

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

32 stars 4 forks source link

Specification Languages and Models #15

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: COMP454 University hosting the course: The University of Waikato Contact person: Steve Reeves, stever@waikato.ac.nz Concepts taught: Formal specification using Z Tools used: Webpage: https://paperoutlines.waikato.ac.nz/outline/COMP454-17B%20(HAM)