Oct 02, 2023  
2020-2021 Graduate Catalog 
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCI 5220 - Software Verification and Validation

(3 credits)
Prerequisites: Full admission to the ACS concentration or instructor’s permission.

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.

When Offered: Spring, alternate years.

View the Fall 2023 Schedule of Classes

View the Spring 2024 Schedule of Classes

Add to Catalog (opens a new window)