Mar 22, 2023  
2020-2021 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to Graduate Studies
  About USF
  Academic Calendar
  Colleges
  Graduate Majors (A-Z)
  Graduate Certificates
  Online Programs
  Bachelor’s/Master’s Pathways
  Concurrent Degrees
  Course Information
  Course Descriptions
  Admissions
  Graduate Faculty
  General Information
  Financial Information
  Academic Policies
  Degree Requirements
  Graduation and Postdoctoral Affairs
  Updates for 2020-2021
  Archives and Print Copies
HELP
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