Uppaalparmos in Development \ Misc. Dev. Tools

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...

Related Software

An Automatic UML Convertion Tool 1.0 Anautomaticumlc  Misc. Dev. Tools

This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking. An Automatic UML Convertion Tool 1.0 License - Academic Free License (AFL)