Courses of Study 2014-2015 
    Jan 26, 2020  
Courses of Study 2014-2015 [ARCHIVED CATALOG]

[Add to Favorites]

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]