Abstract
This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns.
Originalsprog | Engelsk |
---|---|
Titel | Formal Methods for the Design of Real-Time Systems : Lecture Notes in Computer Science (revised lectures) |
Redaktører | Marco Bernardo, Flavio Corradini (eds.) |
Forlag | Springer |
Publikationsdato | 2004 |
Udgave | 3185 |
Sider | 200-237 |
ISBN (Trykt) | 3540230688 |
Status | Udgivet - 2004 |
Begivenhed | A Tutorial on UPPAAL - Varighed: 19 maj 2010 → … |
Konference
Konference | A Tutorial on UPPAAL |
---|---|
Periode | 19/05/2010 → … |