At the end of the semester, each student will present his/her final project
in the conference format. Some sample projects
are available (1997)(1999)
Ideas about possible projects (written in 1999), as well as a short description of expectations
is also available.
This year's reports are available as a CSRG Technical Report 425 or
here
Homepages for some of the publically available software are listed below.
These contain documentation and instructions on how to download and install
the systems.
SMV. Several implementations of SMV are currently available.
The first one was
SMV from CMU.
A reimplementation and an improvement of it, called nuSMV is from
IRST (together with CMU). Finally, the new and
improved SMV from its original author Ken McMillan is
called Cadence SMV.