Uppaal是一个集成工具环境，用于对实时系统建模、验证和验证，该系统被建模为定时自动机网络，并扩展了数据类型（有界整数、数组等）。
该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。
2022-07-04 21:00:56
108.18MB
1
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.
2021-12-29 20:13:16
226KB
1
Uppaal教程中gossip girl模型的boolean实现。
教程内的下载地址失效，就自己做了一下，integer以及其他实现略微修改下就行。
包含xml文件以及q文件。
2021-05-30 21:06:35
1KB
1
2021最新版UPPAAL安装包，详细安装教程见博客，本人博客有UPPAAL和相应JDK、JRE详细安装教程。
2021-04-08 18:50:40
27.79MB
1
同济软功课件。 同济软功课件。 同济软功课件。 同济软功课件。 同济软功课件。 同济软功课件。 同济软功课件。 同济软功课件。
2021-02-11 12:02:56
10.52MB
1
UPPAAL 是由瑞典的Uppsala 大学与丹麦的Aalborg
大学联合研发的一种自动验证工具, 主要对实时系统
模拟、仿真和验证, 已成功地用于实时控制器和通信
协议的验证
2020-01-13 03:16:50
5.6MB
1