uwloo

CS 745Computer-Aided Verification

Units
0.50
Level
Graduate
Faculty
Mathematics
Subject
Computer Science
Cross-listed
ECE 725

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.

Resources

Around the web

Found by uwloo’s link finder, which checks that each page names CS 745.

Suggest a resource.

Discussed on r/uwaterloo

One post or comment in 1 thread mentions CS 745, 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: “… 489 CS 499R CS 499T CS 600 CS 638 CS 645 CS 656 CS 658 CS 666 CS 686 CS 688 CS 697 CS 698 CS 745 CS 766 CS 768 CS 770 CS 798 CS 846 CS 848 CS 854 CS 858 CS 886 CS 898 CT 601 CT 603 CT 606A CT 606B DAC 202 DAC 204 DAC 305 DAC 308 DEI 612 DEI 613 DEI 614 DEI 623 DRAMA 100 DRAMA …”

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