Related Readings, COMP 408 (Spring 1997)

These are some sample papers to give you a better feel for the area covered by this course. The term "formal methods" refers to the broad class of mathematical techniques for system design. Computer-aided verification is a subset of formal methods.

The following report gives a high-level introduction to various formal methods techniques. It provides numerous pointers into the literature regarding both the foundations of and applications of the techniques.

These articles provide a high-level introduction to general issues in formal methods. They focus far less on particular techniques than the previous report. Introductory "how-to" articles, providing hints for people getting started with using formal methods. Articles on the mathematical foundations of certain techniques: