Categories
Mac

UPPAAL 4.0

A graphical system editor allowing graphical descriptions of systems.
Rating
Your vote:
Latest version:
4.0.13 See all
Developer:
Review Comments Questions & Answers
Download
9.3 MB
Demo
Used by 2 people
Edit app info
Info updated on:
Mac Informer Mac Informer
Discover macOS apps and get updates in one click

Uppaal is an integrated tool environment for modeling, simulation and, verification of real-time embedded systems. Typical application areas of UPPAAL includes real-time controllers and communication protocols in particular, those where timing aspects are critical.

Share your experience:
Write a review about this app

Video and screenshot (2)

Comments

User

Your vote:

Comment via Facebook

Related apps

NetLogo
NetLogo
Free
rating

Flexible modeling simulation application.

Audio Modeling Software Center
Audio Modeling Software Center
Free
rating

Download, install, and update your Audio Modeling desktop products.

Noble Ape Simulation
Noble Ape Simulation
Free
rating

Create a detailed biological environment for the Noble Apes.

Mars Simulation Project
Mars Simulation Project
Free
rating

Build computer models regarding human settlements on Mars.

Tapaal
Tapaal
Free
rating

A tool for modelling, simulation, and verification of Timed-Arc Petri net.

Related stories

See all
The best free photo-editing tools for Mac
The best free photo-editing tools for Mac
Top 4 free video-editing tools for Mac
Top 4 free video-editing tools for Mac
Top DVD ripping tools for Mac
Top DVD ripping tools for Mac
Microsoft's launches a new tool: 'Mac to Surface Assistant'
Microsoft's launches a new tool: 'Mac to Surface Assistant'

Tags

Embedded Integrated Modeling Simulation Systems Tool Verification