CS 6862 - [Automated Reasoning and Formal Methods]

Spring. 4 credits.

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

Staff.

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.