[HASLab]  [UM][EEng]
IVYworkbench
About
The IVY workbench is a model based tool for the analysis of interactive systems designs. The tool acts as a frontend to the NuSMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.
Watch the presentation...
Downloads
Tool
Download here
Models
See HCIspec@di
Related Publications
jfc © 2010