Jul 11, 2020  
2013-2014 Graduate Catalog 
2013-2014 Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCI 5220 - Software Verification and Validation

(3 credits)
Prerequisites: CSCI 2210 and MATH 2710 or consent of the instructor. 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. (spring, alternate years)

View the Summer 2020 Schedule of Classes

View the Fall 2020 Schedule of Classes

Add to Catalog (opens a new window)