Abstract | ||
---|---|---|
Abstract: In this paper we present the continuous and on-going developmentof datastructures and algorithms underlying the vericationengine of the tool Uppaal. In particular, we review the datastructuresof Dierence Bounded Matrices, Minimal Constraint Representation andClock Dierence Diagrams used in symbolic state-space representationand-analysis for real-time systems. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/3-540-45739-9_1 | Formal Techniques in Real-Time and Fault-Tolerant Systems |
Keywords | Field | DocType |
uppaal implementation secrets,tool uppaal,difference bounded matrices,on-going development,complementing method,clock difference,new internal datastructures,real-time system,next generation,minimal constraint representation,state space,real time systems | Principle of compositionality,Abstraction,Programming language,Computer science,Algorithm,Real-time operating system,Fault tolerance,Hash function,Software development,Bounded function,Distributed computing,Hash table | Conference |
ISBN | Citations | PageRank |
3-540-44165-4 | 44 | 2.72 |
References | Authors | |
29 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gerd Behrmann | 1 | 1648 | 81.69 |
Johan Bengtsson | 2 | 1048 | 60.86 |
Alexandre David | 3 | 1667 | 76.52 |
Kim Guldstrand Larsen | 4 | 4434 | 346.88 |
Paul Pettersson | 5 | 2636 | 174.89 |
Wang Yi | 6 | 4232 | 332.05 |