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...
Your browser does not support MP4/WebM videos. You can still
download the video file
jfc © 2010