The IVY workbench is a model based tool for the analysis of interactive systems designs. The tool acts as a front end to the SMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.