CS458/558 FORMAL METHODS
SPRING 2001


Lecturer: James F. Lynch
Office: SC-381
Phone: 268-2374
E-mail: jlynch@clarkson.edu
Office hours: MWF 10:00 - 12:00

Text: Logic in Computer Science: Modelling and Reasoning about Systems, by Michael R. A. Huth and Mark D. Ryan


SYLLABUS

Fundamentals of program specification and verification (Chapters 1, 2, and 3 in the text).
Case studies of successful and unsuccessful software projects (other sources).
Abstract State Machines (documentation and software from Division of Foundations of Software Engineering, Microsoft Corporation).

GRADING

If enrollment remains small, then I want to base the grading on homework. This will consist of:
  1. Written exercises.
  2. A report on a large software project, including what methods were used, and an analysis of the success or failure of these methods on the project.
  3. Specifying or verifying software using methods covered in the course.