Introduction to Formal Methods CS 5860

CS 5860 Fall 11:


Projects due at the end of the day, Wednesday December 7


Robert Constable


Tue/Thu 10:10AM - 11:25AM


Upson 315

Welcome to Introduction to Formal Methods
CS5860 - Fall 2011


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
  • 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.


Robert Constable
4147 Upson Hall
Office Hours: Tue and Thu 1:30-2:15 and by appointment.

Time: Tue/Thu 10:10AM - 11:25AM

Location:  Upson 315 - note location change