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. |