Nov 11, 2024  
2020-2021 Graduate Catalog 
    
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCI 5220 - Software Verification and Validation

(3 credits)
Prerequisites: Full admission to the ACS concentration or instructor’s permission.

This course addresses the theory and practice of ensuring high-quality software products. Topics covered include quality assessment, proof of correctness, testing, and limitations of verification and validation methods.

When Offered: Spring, alternate years.


View the Fall 2024 Schedule of Classes

View the Spring 2025 Schedule of Classes




Add to Catalog (opens a new window)