Searching for "UPPAAL 4.0." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Faster than UPPAAL? (Tool Paper)
by Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski, Albert-ludwigs-universität Freiburg
… the most powerful options. We used the current version of UPPAAL (4.0.6) with the option randomized depth…
Add To MetaCart

Specification and Verification of Fault-Tolerance
by Miaomiao Zhang, Zhiming Liu, Anders P. Ravn — 1999 — Timing, and Scheduling”, ACM Transactions on Programming Languages and Systems
…]. The language for the new version UPPAAL 4.0 includes a subset of the c programming language, and the syntax…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB