This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.


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 Marius Mikučionis
Offline test generation tool based on model-checking.