Paper Info
Title
A Tutorial on Uppaal
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.
Year
DOI
Venue
2004
10.1007/978-3-540-30080-9_7
Lecture Notes in Computer Science
Keywords
Field
DocType
simulation,verification
Computer science,Critical section,Automaton,Real-time computing,Real-time operating system,Formal methods,Software development,Safety property
Conference
Volume
ISSN
Citations 
3185
0302-9743
693
PageRank 
References 
Authors
27.40
35
3
Search Limit
100693
Name
Order
Citations
PageRank
Gerd Behrmann1164881.69
Alexandre David2166776.52
Kim Guldstrand Larsen34434346.88