Jun 29, 2022  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

CDA 5416 - Computer System Verification


Credit(s): 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 .