Tue Jun 2 2020 00:20:41 CEST
Use the source Luke!
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