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)(2000)
Ideas about possible projects (written in 1999), as well as a short description of expectations
is also available.
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.