|
May 04, 2024
|
|
|
|
2021-2022 Augusta University Catalog [ARCHIVED CATALOG]
|
CSCI 5320 - Verification of Software (3 Credit Hours)
The course covers formal methods theory and practice, in particular as applied to the specification and verification of software.
Lecture Hours: 3
Grade Mode: Normal, Audit Repeat Status: No Repeat Limit: 0 Schedule Type: Lecture
Click here for the Schedule of Classes.
|
|