Mar 13, 2025  
2024-2025 Graduate Catalog 
    
2024-2025 Graduate Catalog Add to Catalog (opens a new window)

CSCI 5220 - Software Verification and Validation

(3 credits)
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 2025 Schedule of Classes

View the Summer 2025 Schedule of Classes

View the Fall 2025 Schedule of Classes




Add to Catalog (opens a new window)