On this page:
CS 747:   Software Verification using Proof Assistants
8.1

CS 747: Software Verification using Proof Assistants

This is the homepage for CS 747 at the University of Waterloo (Winter 2022). Although this is a graduate course, undergraduates may take it with permission of the instructor and a CS advisor, and it may be used to fulfil undergraduate fourth-year course requirements. Non-CS grad students must wait until the end of the first week of lectures to officially enroll.

Instructor: Prabhakar Ragde (plragde at uwaterloo dot ca).

Office hours: To be announced.

    1 For Prospective Students

    2 Assignments

    3 Handouts

    4 Logistics

    5 Marmoset

      5.1 Accessing Marmoset

      5.2 Submitting Assignments

    6 Resources