All categories

UPPAAL 4.0.13

Free Tool for modeling, simulating & verifying real-time embedded systems, esp.
0 
Latest version:
4.0.13 See all
Developer:

UPPAAL is a comprehensive toolkit for modeling, simulating, and verifying real-time embedded systems. It is widely used in applications where timing is important, such as real-time controllers and communication protocols.

Suggestions

Lingon
Lingon
Free

GUI for creating and editing launchd config files for Mac OS X 10.5.

LiquidMac
LiquidMac
Free

LiquidMac uses a particle system to imitate liquid and responds to laptop orientation.

Wineskin Winery
Wineskin Winery
Free

Wineskin Winery creates Mac OS X ports/wrappers for Windows programs/games, with an easy-to-use GUI, integrated Wine, X11 and an installer.

Download
Free