| Summary: | Query Check | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Alessandro Palermo <shark-> |
| Component: | Engine | Assignee: | Alexandre David <adavid> |
| Status: | NEW --- | ||
| Severity: | major | ||
| Priority: | P5 | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Windows NT | ||
| Architecture: | |||
| Attachments: | Uppaal Model With Single Query | ||
Created attachment 261 [details] Uppaal Model With Single Query In the attachment model a query result Satisfied if clock order in global declaration is: clock time[TASK]; clock x[TASK]; Same query result May Not Be Satisfied if the clock order is: clock x[TASK]; clock time[TASK];