文章基本信息

标题：UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
本地全文：下载
作者：Johan Bengtsson ; Kim G. Larsen ; Fredrik Larsson 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1996
卷号：3
期号：58
出版社：Aarhus University
摘要：Uppaal is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of linear hybrid systems to networks of timed automata, and a model-checker which is implemented based on constraint-solving techniques. Uppaal also supports diagnostic model-checking providing diagnostic information in case verification of a particular real-time systems fails. The current version of Uppaal is available on the World Wide Web via the Uppaal home page http://www.docs.uu.se/docs/rtmv/uppaal.