uwloo

ECE 725Computer-Aided Verification

Units
0.50
Level
Graduate
Faculty
Engineering
Subject
Electrical and Computer Engineering
Cross-listed
CS 745

When it runs

  1. F24
  2. W25
  3. S25
  4. F25
  5. W26
  6. S26
  7. F26
  8. W27
  9. S27

Ran in 0 of the last 7 terms. Winter 2027: not on the schedule. Spring 2027: schedule not out yet.

Application of formal methods to the verification of computer-based systems. Algebraic and automata preliminaries. Temporal logic and model checking. Decision procedures. Mechanized theorem proving. Advanced topics chosen by the instructor.

Prerequisites

None listed.

Antirequisites

None listed.

Leads to

No course lists it as a requisite.

Discussed on r/uwaterloo

One post or comment in 1 thread mentions ECE 725, October 2017 to December 2024. Quoted word for word, newest first; each reply sits under the post and the comment that started its branch. Search r/uwaterloo for newer posts.

Fall 2017

Any way to disable UWCourseLinker from posting? 16 points, 26 comments

“posting a reply to my comment I find the bot annoying.”

u/Jackhofmann: “PSYCH 483 PSYCH 484 PSYCH 485 PSYCH 486 PSYCH 490R PSYCH 499A PSYCH 499B PSYCH 499C PSYCH 621 PSYCH 630 PSYCH 677A PSYCH 704A PSYCH 704B PSYCH 707 PSYCH 710 PSYCH 714 PSYCH 717 PSYCH 720A PSYCH 721A …”

u/Jackhofmann: “… ECE 658 ECE 6604PD ECE 6610PD ECE 6616PD ECE 662 ECE 664 ECE 667 ECE 671 ECE 675 ECE 682 ECE 725 ECE 730 ECE 750 ECE 770 ECON 101 ECON 102 ECON 120W ECON 140W ECON 201 ECON 206 ECON 207 ECON 211 ECON 212 ECON 220 ECON 221 ECON 223W ECON 231 ECON 233W ECON 238W ECON 239W ECON …”

View on RedditRemove this

Check it elsewhere for Fall 2026

Calendar versions

Graduate Calendar

Older Graduate Calendars

In 42 terms, Fall 2006 to Winter 2024