Sep 30, 2024  
2024-2025 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to Graduate Studies
  About USF
  Academic Calendar
  Graduate Studies Directory
  College Information
  Programs by College/Department
  Majors (A-Z)
  Graduate Certificates (A-Z)
  Bachelor’s/Master’s Pathways
  Concurrent Degrees
  Course Information
  Course Descriptions
  Programs/Courses by College/Department
  Admissions
  Graduate Faculty
  General Information
  Financial Information
  Academic Policies
  Graduate Certificates
  Degree Requirements
  Graduation and Postdoctoral Affairs
  Updates for 2024-2025 Graduate Catalog
  Archives and Print Copy
HELP
2024-2025 Graduate 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): None
Corequisite(s): None
Co-Prerequisite(s): None

USF College of Engineering | Department of Computer Science and Engineering