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.
.webp)
.webp){kind=icon}
A free program for Mac, by Pocket Bits LLC.
