文章基本信息

标题：UPPAAL in 1995
本地全文：下载
作者：Johan Bengtsson ; Kim G. Larsen ; Fredrik Larsson 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1996
卷号：3
期号：60
出版社：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 [12, 9, 4], developed during the past two years. In this paper, we summarize the main features of UPPAAL in particular its various extensions developed in 1995 as well as applications to various case-studies, review and provide pointers to the theoretical foundation.