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
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.