A quick introduction to the tool on one page is available here.

Our online reference help is available under web help and our UPPAAL 4.0 Tutorial is available for free. The distributed package also includes examples in its demo directory.

A presentation on timed automata in UPPAAL, semantics, query language, zones and operations on zones is available here. You are welcome to visit the web-page of the corresponding tutorial at RTSS'05 if you want to know more about the techniques behind the tool.

We are teaching different courses on formal methods including timed automata and UPPAAL. The presentation of one such lecture is available here. You are welcome to contact us if you wish to have a course.