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 http://ivy.di.uminho.pt. |
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) |
Funding |
Funded by the Portuguese Science and Technology Foundation (FCT) and the European Regional Development Fund (FEDER) under contract POSC/EIA/56646/2004: 74K |
Duration |
July 2005 / 3 years |
Contacts |
José Creissac Campos |