Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Uppaal Model Checker
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="http://www.uppaal.org/">UPPAAL academic website</a></li> <li><a href="http://www.uppaal.com/">UPPAAL commercial website</a></li> <li><a href="http://www.it.uu.se/research/group/darts/">Design and Analysis of Real-Time Systems group</a></li> <li><a href="http://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/">DEIS unit, Dept. Computer Science at AAU</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Case Studies". <a href="http://www.it.uu.se/research/group/darts/uppaal/examples.shtml" target="_blank">http://www.it.uu.se/research/group/darts/uppaal/examples.shtml</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> </ol>