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

UPPAAL ECDAR

Environment for Compositional Design and Analysis of Real Time Systems

Select a component to see open bugs in that component.

Component	Default Assignee
Engine	Marius Mikučionis
Engine	Verification engine
GUI	Marius Mikučionis
GUI	Graphical user inverface, including model.jar library