Highlights

Most recent models

Pillbox model

PVS model of Pillbox, a pill dispenser.

View Published by: José Campos, 10 Apr 2018

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

Most downloaded models

BBraun two layer model (thinv6t3v1)

Model by Michael D. Harrison

View Published by: José Campos (151 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 (40 downloads)