| 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 |
