UPPAAL PARMOS

alpha

A tool for parametric model checking of UPPAAL models.

Add a Review
2 Downloads (This Week)
Last Update:
Download InitialCodeBase.zip
Browse All Files
Windows

Description

UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster.
UP is expandable through the use of plug-ins, with regards to both types of computing resources and search algorithms, and the ability to change storage type is partly implemented.

UPPAAL PARMOS Web Site

Categories

Modeling

License

MIT License

Update Notifications





Write a Review

User Reviews

Be the first to post a review of UPPAAL PARMOS!

Additional Project Details

Languages

English

Intended Audience

Education

User Interface

.NET/Mono, Non-interactive (Daemon), Plugins, Project is a remote control application

Programming Language

C#

Registered

2012-05-20
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.