|
Sep 27, 2023
|
|
|
|
2020-2021 Graduate Catalog [ARCHIVED CATALOG]
|
CDA 5416 Computer System Verification Credit Hours: 3
This course introduces basic concepts of formal verification. Topics include formal specification, algorithms, and methodologies for scalable verification. It is only for CSE majors or non-majors with permission from the instructor, not repeatable.
Prerequisite(s): CDA 3201, COT 3100, COT 4400, COP 4530 Corequisite(s): None. Co-Prerequisite(s): None.
USF | College of Engineering | Computer Science and Engineering
|
|