Thu Sep 19 2019 16:51:53 CEST
Use the source Luke!
Hide Search Description
ID Product Comp Assignee Status Resolution Summary Changed
426 UPPAAL C Verifica behrmann NEW --- Ignoring cost' annotations on synchronized processes 2007-09-25
445 UPPAAL C Verifica behrmann NEW --- In the simulator the infimum_cost is changing strangly according to the rate 2008-06-12
495 UPPAAL C Verifica behrmann NEW --- Java UI client not responds to keyboard every few minutes since starup 2010-08-06
550 UPPAAL C Verifica behrmann NEW --- rate and then also cost going negative / overflowing / ... 2013-04-19
560 UPPAAL C Verifica behrmann NEW --- Infimum_Cost rising to "-1073741823" 2013-09-27
5 bugs found.

as

File a new bug in the "Verification Engine" component of the "UPPAAL CORA" product