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.
Categories
UMLLicense
MIT LicenseFollow UPPAAL PARMOS
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of UPPAAL PARMOS!