Subject:
Electrical & Computer Engineering (ECE)
Catalog number:
725
Unit weight:
0.50
Meet type:
LEC
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
