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
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools
要求
您需要在计算机上正确安装以下物品。
可选的：
码头工人
码头工人组成
安装
git clone gitgithub.com/adfinis-sygroup/timed-frontend
cd timed-frontend
yarn
运行/开发
ember server
访问位于应用程序。
如果您有一个正在运行的，则需要运行
ember server --proxy=http://localhost:8000或
yarn start
如果您使用docker-compose，则可以
