Courses of Study 2014-2015 
    Jun 03, 2023  
Courses of Study 2014-2015 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6862 - [Automated Reasoning and Formal Methods]

Spring. 4 credits.

Prerequisites: CS 6110 . Enrollment limited to: graduate standing or permission of instructor.


Covers advanced logic applied to reasoning about programs and software systems to show that they meet their formal specifications as well as the basics of automated reasoning systems for formally proving theorems about software.

Add to Favorites (opens a new window)