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.