ECE 725 - Computer-Aided Verification
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.
Offerings
Fall 2017 [1179]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 9104 | 6 / 18 | 13:00 - 14:20 | T,Th | DC 2568 | Richard Trefler |
Fall 2015 [1159]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 8533 | 9 / 18 | 13:00 - 14:20 | T,Th | DC 2568 | Richard Trefler |
Fall 2013 [1139]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7832 | 5 / 18 | 16:00 - 18:50 | T | DC 2568 | Borzoo Bonakdarpour |
Fall 2012 [1129]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 8079 | 9 / 20 | 17:30 - 20:20 | T | EIT 3151 | Borzoo Bonakdarpour |
Winter 2011 [1111]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7740 | 9 / 20 | 08:30 - 11:20 | Th | EIT 3151 | Borzoo Bonakdarpour |
Fall 2009 [1099]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 7435 | 3 / 9 | 09:00 - 10:20 | T,Th | MC 2034 | Nancy Day |
Winter 2006 [1061]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 5512 | 6 / 24 | 13:30 - 16:20 | T,E,I,T | | Mark Aagaard |
Winter 2003 [1031]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 5357 | 0 / 30 | | | | |
UW Flow Ratings
Liked: 0.00%
Easy: 0.00%
Useful: 100.00 %
ECE 725 leads to