CMPT477
CMPT477: Introduction to Formal Verification
13 public student ratings, updated Oct 2026 · no written reviews yet
Planning Spring 2027? Save classes to your plan.
From 13 public student ratings
Mostly positive ratings. It's demanding.
No written reviews yet. Yours would be the first.
Took CMPT477? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- Ratings across the web
- 3.3 out of 5 stars3.3from 13 ratings
- Department
- Computer Science
Written reviews
No written reviews of CMPT477 yet
Took it? Add yours when you have a couple of minutes. Anonymous, no account, no email.
Professors who have taught CMPT477
- Evgenia Ternovska
Questions students ask
Classes next to CMPT477
CMPT courses at SFU with the closest numbers
- CMPT4702.5 out of 5 stars2.5· difficulty 63/100· 20 ratings
- CMPT471Networking II3.4 out of 5 stars3.4· difficulty 64/100· 25 ratings
- CMPT473Software Testing, Reliability and Security1.9 out of 5 stars1.9· difficulty 81/100· 37 ratings
- CMPT474Web Systems Architecture1.4 out of 5 stars1.4· difficulty 64/100· 16 ratings
- CMPT475Requirements Engineering2.5 out of 5 stars2.5· difficulty 54/100· 50 ratings
- CMPT477Introduction to Formal VerificationThis class
- CMPT479Special Topics in Computing Systems4.7 out of 5 stars4.7· difficulty 80/100· 3 ratings