Courses

• 2025-26 Semester 2: COL 750 and COL7250: Foundations of Automatic Verification
• 2025-26 Semester 1: COL1000 it is. Webpage is hosted on Moodle. Please refer to COL 1000: Lab and Lecture Sections
• 2024-25 Semester 2: COL 750: Foundations of Automatic Verification
• 2024-25 Semester 1: COL 876: Special Topics in Formal Methods