UPPAAL PARMOS 1.0
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...
Htl translator to XTA (Uppaal).
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)