UPPAAL使用方法 由于刚开始学习时间自动机及其使用方法，对UPPAAL使用不太熟悉，网上能找到的教程很少，摸索了很久终于成功实现一个小例子，所以记录一下详细教程。这里用到的例子参考，详细信息可自行有链接查看，本文重点手把手教学UPPAAL方法，本人也是刚开始学习，有不足或理解有误的情况欢迎指出。下面使用几个小例子展示使用 UPPAAL建模，验证的方法。
IDE使用技巧 然后选择“Python调试程序：包含参数的当前文件”打开文件，点击右上角的三角形（运行）旁边的展开。选择“使用launch.json调试”此处为model选择，故输入为。输入完成以后，按下回车（
jupyter notebooks安装与使用 首先要安装Python然后将pip升级到最新版本cmdScripts然后安装Jupyter Notebooks打开命令提示窗,切换到Python的安装目录下的Scripts安装完成后。
ubuntu20.04安装Docker 然后在软件列表中即可找到Docker Desktop,双击打开，同意并进入即可。安装软件，使apt能够通过https安装软件。Docker默认在root下使用，需使用。一般默认下载在文件夹【下载】中。添加Docker官方GPG密钥。点击DEB package。获得权限，若不想在前加上。验证是否可以在不使用。
Ubuntu20.04安装教程 若要设置每次开机默认进入的系统，则进入BIOS界面，使用鼠标移动Ubuntu和Windows的位置，排在第一位的为默认启动的系统。【分区类型】查看：计算机（或我的电脑）（右键）→管理→磁盘管理→右下角磁盘0或者磁盘1处（不要选择U盘的磁盘）（右键）→属性→卷，查看磁盘分区形式。在这个找到的磁盘处（右键）→压缩卷→在压缩后的总计大小处输入想要分给ubuntu的空间大小→压缩。【文件系统】查看：计算机（或我的电脑）（右键）→管理→磁盘管理，右上角磁盘的文件系统。安装完毕，点击现在重启，点击以后。
关注
