Assistant Professor (email)
We are working with FEUP in the development of Model-based testing tools for user interfaces.
We are cooperating with Educed in the development of PROVA: a Platform for Software Verification and Validation. Funding by AdI.
The goal of this project is to develop tools that provide an effective basis for predicting, reasoning, and certifying the behaviour of systems.
This project aims at developing a rapid prototyping platform for ubiquitous computing environments.
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.
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.