Skip to main content.

This page’s menu:

Uppaal PORT Download

The following release is available for free for non-commercial applications in academia, and for private persons:


Release Notes


Installation Instructions


Contents

The current release is a zip archive of the following files:

release.html
Release notes.
bin/verifyta.exe
The command-line verifier.
bin/portsrv.exe
The server used by the eclipse plug-in.
plugins/org.uppaal.port.ui_0.48.0.jar
The eclipse plug-in.
examples/ex.save
An example system in the SAVE XML format. This example is described in [HP07]. The file is generated from the files in examples/SAVE, using the SAVE IDE and TA editor plug-ins for eclipse (available from sourceforge.net/projects/save-ide).
examples/ex2.save
The example system with environment.
examples/plant.xml
An UPPAAL model of the environment for ex2.save.
examples/send_del_rec.save
A system with a composite component.
examples/SAVE
Contains the SAVE IDE diagram files used to generate the SAVE.XML.

Input File Format

The SAVE XML file format is described in [LRM]. Known deviations from the specification are:


Version History

Version 0.47

Version 0.46
Version 0.45
Version 0.44
Version 0.43
Version 0.42