Cypis

Automated UPPAAL Model Reduction Tool in Java

This program takes an xml-based settings file as an argument and produces a valid reduced UPPAAL model. The settings file should contain a reference to an UPPAAL Model file along with a relevant strategy encoded in an ADTool XML file as inputs. Proper application of this tool can greatly increase UPPAAL's verification performance.

Command line usage:

java -jar Cypis.jar (-h | --help | settingsfile)

Example settings file:

<?xml version="1.0" encoding="UTF-8"?>
<settings>
	<modelfile>Castle_Siege.xml</modelfile>
	<treefile>Win_The_Battle.xml</treefile>

	<attackeragent>King Arthur</attackeragent>
	<defenderagent exists="true">Morgana</defenderagent>

	<wildcard>#</wildcard>
	<outfile>Castle_Siege_Reduced_#.xml</outfile>
</settings>