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

Query and model
Reachability property.zip (application/zip), 1.33 KB, created by Kasper Laursen on 2014-01-13 15:58:29 CET
(hide)
 
Creator: Kasper Laursen
Created: 2014-01-13 15:58:29 CET
Size: 1.33 KB

The attachment is not viewable in your browser due to security restrictions enabled by your Bugzilla administrator.

In order to view the attachment, you first have to download it.

Actions: View
Attachments on bug 565: 267