Computer-Aided Verification

Subject: 
Electrical & Computer Engineering (ECE)
Catalog number: 
725
Unit weight: 
0.50
Meet type: 
LEC
Grading basis: 
NUM
Cross-listing(s): 
CS-745
Requisites: 
N/A
Description: 
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.
Topic titles: 
N/A
Faculty: 
Engineering (ENG)
Academic level: 
GRD
Course ID: 
011295