Document Actions


IVY - A model-based usability analysis environment (POSC/EIA/56646/2004)

Project Goal
IVY's goal is to develop a model based tool for the analysis of interactive systems designs. The tool will act as a front end to the SMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.
The main IVY web site is now
See this poster for an overview of the project
CCTC-Poster-Ivy (72.40KB)
See this video for an overview of the tool
IVY video (8.80MB)
Funded by the Portuguese Science and Technology Foundation (FCT) and the European Regional Development Fund (FEDER) under contract POSC/EIA/56646/2004: 74K
July 2005 / 3 years
José Creissac Campos