TY - JOUR AU - Bengtsson, Johan AU - Larsen, Kim G. AU - Larsson, Fredrik AU - Pettersson, Paul AU - Yi, Wang PY - 1996/06/28 Y2 - 2024/03/29 TI - UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems JF - BRICS Report Series JA - BRICS VL - 3 IS - 58 SE - Articles DO - 10.7146/brics.v3i58.18769 UR - https://tidsskrift.dk/brics/article/view/18769 SP - AB - Uppaal is a tool suite for automatic verification of safety and<br />bounded liveness properties of real-time systems modeled as networks of<br />timed automata. It includes: a graphical interface that supports graphical<br />and textual representations of networks of timed automata, and automatic<br />transformation from graphical representations to textual format,<br />a compiler that transforms a certain class of linear hybrid systems to<br />networks of timed automata, and a model-checker which is implemented<br />based on constraint-solving techniques. Uppaal also supports diagnostic<br />model-checking providing diagnostic information in case verification of a<br />particular real-time systems fails.<br />The current version of Uppaal is available on the World Wide Web via<br />the Uppaal home page http://www.docs.uu.se/docs/rtmv/uppaal. ER -