Search Results for "uppaal"
Sort By:
Showing 4 open source projects for "uppaal"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
UML-VT
A Formal Verification Environment for UML Activity Diagrams
UML-VT is an open source Eclipse plug-in that verifies UML activities against given requirements using well-know model checker tools such UPPAAL, SPIN, and NuSMV, and an experimental model checker PES. UML-VT is meant to support the integration of model checking into a MDD process. The integration aims to facilitate the use formal verification in the early phases of the development, and to create an easy to use interface regardless of the users knowledge of formal methods. -
2
UPPAAL PARMOS
A tool for parametric model checking of UPPAAL models.
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. -
3
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.
-
4
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
- Previous
- You're on page 1
- Next
