【文件属性】：
文件名称：A Tutorial on Uppaal
文件大小：551KB
文件格式：PDF
更新时间：2013-02-26 01:19:41
Uppaal model checking timed automata
This is a tutorial paper on the tool Uppaal. Its goal is to
be a short introduction on the flavor of timed automata implemented in
the tool, to present its interface, and to explain how to use the tool. The
contribution of the paper is to provide reference examples and modeling
patterns.