Courses of Study 2018-2019 
    Oct 15, 2019  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

[Add to Favorites]

CS 5860 - [Introduction to Formal Methods]

Fall. 4 credits. Student option grading.

Prerequisite: CS 2110  or CS 3110  or equivalent; and CS 2800  or equivalent. Concurrent enrollment in CS 4860 /MATH 4860  not recommended.


This course introduces the basic methods of specifying programs and reasoning about them in programming logics, including techniques such as formal logical proofs, correct code synthesis, model checking, type theory specifications, and methods of reasoning about concurrent programs. These methods and the software tools that help apply them, such as logical programming environments, decision procedures, software model checkers, and interactive theorem provers, have become essential to both the hardware and software industries in the production of reliable and secure systems.

[Add to Favorites]