COMP 525 Formal Verification

3 credits · Computer Science · Faculty of Science · Not scheduled for 2026–2027

Propositional logic - syntax and semantics, temporal logic, other modal logics, model checking, symbolic model checking, binary decision diagrams, other approaches to formal verification.

Prerequisite courses: COMP 251, COMP 330

Plan your whole degree in myDegree. Fit COMP 525 and everything it needs into a plan, term by term. Open myDegree

Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.