Subject:
Computer Science (CS)
Catalog number:
745
Unit weight:
0.50
Meet type:
LEC
Grading basis:
NUM
Cross-listing(s):
ECE-725
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:
Mathematics (MAT)
Academic level:
GRD
Course ID:
011295
