Abstract | ||
---|---|---|
Uppaal1is a tool suite for automatic verification of safety andbounded liveness properties of real-time systems modeled as networks of timed automata[12, 9, 4], developed during the past two years. In this paper, we summarizethe main features of Uppaal in particular its various extensions developed in 1995as well as applications to various case-studies, review and provide pointers to thetheoretical foundation.1 IntroductionUppaal is a tool suite for automatic verification of safety... |
Year | Venue | Keywords |
---|---|---|
1996 | TACAS | real time systems |
Field | DocType | ISBN |
Pointer (computer programming),Suite,Computer science,Automaton,Theoretical computer science,Timed automaton,Bounded function,Liveness,Hybrid automaton | Conference | 3-540-61042-1 |
Citations | PageRank | References |
34 | 5.56 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johan Bengtsson | 1 | 1048 | 60.86 |
Kim Guldstrand Larsen | 2 | 4434 | 346.88 |
Fredrik Larsson | 3 | 577 | 45.55 |
Paul Pettersson | 4 | 2636 | 174.89 |
Wang Yi | 5 | 4232 | 332.05 |