Sep 27, 2023  
2020-2021 Graduate Catalog 
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