Mar 28, 2024  
2018-2019 Graduate Catalog 
    
2018-2019 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 Spring 2024 Schedule of Classes

View the Summer 2024 Schedule of Classes

View the Fall 2024 Schedule of Classes




Add to Catalog (opens a new window)