UPPAAL PARMOS Icon

UPPAAL PARMOS

alpha

A tool for parametric model checking of UPPAAL models.

Add a Review
6 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

KEEP ME UPDATED

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, Project is a remote control application, Non-interactive (Daemon), Plugins

Programming Language

C#

Registered

2012-05-20

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks