Nov 22, 2019  
2013-2014 Graduate Catalog 
    
2013-2014 Graduate Catalog [ARCHIVED CATALOG]

[Add to Catalog]

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 Fall 2019 Schedule of Classes

View the Spring 2020 Schedule of Classes




[Add to Catalog]