- Schedule of Classes - January 14, 2015 6:16PM EST
- Course Catalog - January 14, 2015 6:21PM EST
Course information provided by the Courses of Study 2014-2015.
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.
When Offered Fall.
Prerequisites/Corequisites Prerequisites: CS 2110 or CS 3110 or equivalent and CS 2800 or equivalent.
Comments Concurrent enrollment in CS 4860/MATH 4860 not recommended.
Credits and Grading Basis
4 Credits Stdnt Opt(Student Option)
Class Number & Section Details
- MWUpson Hall 211
Disabled for this roster.