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

Alaris GP infusion pump models -- extended versio...

Alaris GP infusion pump models from: Verification Templates for the Analysis of User...

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)

Alaris GP infusion pump models -- extended versio...

Alaris GP infusion pump models from: Verification Templates for the Analysis of User...

View Published by: José Campos (34 downloads)