Apr 30, 2024  
2012-2013 University Catalog (Revised 2012-10-02) 
    
2012-2013 University Catalog (Revised 2012-10-02) [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)