search

luigiapetre / Formal-Methods-Courses

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

Advanced Topics in Theory and Practice of Software #9

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: COMP782 University hosting the course: Macquarie University Contact person: Annabelle McIver, annabelle.mciver@mq.edu.au Concepts taught: Hoare Logic, verification Tools used: Webpage: http://handbook.mq.edu.au/2018/Units/ResearchUnit/COMP782