UPPAAL Implementation Secrets

  title={UPPAAL Implementation Secrets},
  author={Gerd Behrmann and Johan Bengtsson and Alexandre David and Kim G. Larsen and Paul Pettersson and Wang Yi},
In this paper we present the continuous and on-going development of datastructures and algorithms underlying the verification engine of the tool Uppaal. In particular, we review the datastructures of Difference Bounded Matrices, Minimal Constraint Representation and Clock Difference Diagrams used in symbolic state-space representation and -analysis for real-time systems. In addition we report on distributed versions of the tool, and outline the design and experimental results for new internal… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 118 citations. REVIEW CITATIONS
72 Citations
28 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 72 extracted citations

118 Citations

Citations per Year
Semantic Scholar estimates that this publication has 118 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…