A model checker for Timed Automata. Includes: SMC and Stratego

Select a component to see open bugs in that component.

Component Default Assignee
Documentation Marius Mikučionis
Documentation for UPPAAL, e.g. the help menu.
Engine Marius Mikučionis
Verification backend of UPPAAL
GUI Marius Mikučionis
Java based GUI for UPPAAL
libutap Marius Mikučionis
The parser library.
Yggdrasil Petur Olsen
Offline test generation tool based on model-checking.