Thu Sep 19 2019 10:26:22 CEST
The smallest nuisance can be of greatest pain
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
442 UPPAAL GUI adavid RESO DUPL Analysis for channel bounds violation ignores guard 2008-09-12
One bug found.

as

File a new bug in the "GUI" component of the "UPPAAL" product