Feb 10, 2025  
2014-2015 University Catalog (Revised 01-05-2015) 
    
2014-2015 University Catalog (Revised 01-05-2015) [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 585 - Software Verification and Validation (4)


Techniques for evaluating software quality and integrity. Quality assessment, proof of correctness, testing methods.

Prerequisite(s): CS 480  or consent of instructor.
Component(s): 4 lectures/problem-solving.



Add to Portfolio (opens a new window)