[CS 378] Class Model Checker

[David L. Rager]

Hello CS 378 and CS 395t Students,

Dr. Hunt's model checker has been posted in the class tools directory.
You can find instructions on how to access it at the bottom of
http://www.cs.utexas.edu/users/ragerdl/cs378/tools.html . You'll
probably want to play around with it sometime before the test, as it's
likely a test question that uses at least a subset of its notation
will appear on the midterm. Please let me know if there are usability
issues (such as permissions problems).

If you're unclear about how a particular operator works (for example,
maybe EF), this discussion group is a great forum for figuring it out.

David