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 re
UPPAAL is an integrated tool environment for modeling, simulation and, verification of real-time embedded systems. Typical application areas of UPPAAL includes real-time controllers and communication protocols in particular, those where timing aspec
UPPAAL建模工具教程 : 1 Introduction This document is intended to be used by newcomers to Uppaal and verification. Students or engineers with little background in formal methods should be able to use Uppaal for practical purposes after this tutorial.
