Handouts

Handout on Notation

Small Machine Paper

Small Machine Handout Postscript | Text

Handout on Relations

ACL2 Online Tutorials

Tarski-Knaster Theorem

Mu-Calculus Model Checking in ACL2

Safety and Liveness

Slides on Safety and Liveness Used in Class

A Compositional Theory of Refinement

Last modified: Thu Apr 22 20:20:12 EDT 2004