Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

   
    Apr 19, 2024  
2020-2021 Augusta University Catalog 
    
2020-2021 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.