The SMV-Model Checker Software

For the upcoming more advanced model checking exercises we will work with the freely available software from Carnegie Mellon University (CMU) (see: http://www.cs.cmu.edu/$\sim$modelcheck/code.htm ), especially we will use the smv-software (see: http://www.cs.cmu.edu/$\sim$modelcheck/smv.html ).