Highlights

Most recent models

Photocopier

MAL model of a photocopier

View Published by: José Campos, 03 Feb 2017

A/C System

IVY workbench project with the model used in the DSV-IS 2008 paper: Systematic analy...

View Published by: José Campos, 02 Feb 2017

alarisgppvsiotemplatesv2

Models from: Templates for automated verification of user interface software design

View Published by: José Campos, 24 Jan 2017

Most downloaded models

BBraun two layer model (thinv6t3v1)

Model by Michael D. Harrison

View Published by: José Campos (150 downloads)

Air conditioning

Example of a simple MAL model, of an air conditioning system and remote control.

View Published by: Rui Couto (110 downloads)

alarisgppvsiotemplatesv2

Models from: Templates for automated verification of user interface software design

View Published by: José Campos (14 downloads)