Jan 24, 2026  
2025-2026 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome to Graduate Studies
  About USF
  Academic Calendar
  Contacts / Deadlines - Majors
  Contacts / Deadlines - Certificates
  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 Certificate Policies
  Degree Requirements
  Graduation and Postdoctoral Affairs
  Updates for 2025-2026 Graduate Catalog
  Archives and Print Copy
  My Portfolio
HELP
2025-2026 Graduate Catalog
Add to Portfolio (opens a new window)

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 Bellini College of Artificial Intelligence, Cybersecurity, and Computing | Department of Artificial Intelligence, Cybersecurity, and Computing


Add to Portfolio (opens a new window)