Dec 11, 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 Spring 2020 Schedule of Classes




[Add to Catalog]