At the end of the semester, each student will present his/her final project
in the conference format. Some sample projects
are available here or as a CSRG Technical report 374/98.
Ideas about possible projects, as well as a short description of expectations
is also available.
This year's reports are available as a CSRG Technical Report 407 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.