uppaal

JRE、JDK下载安装教程

因为上一篇博客里面说到安装UPPAAL需要JRE1.8.0-1.12.0，这里专门出一个下载安装和环境配置的教程。不要求下这个版本的童鞋可以选择其他的版本进行下载。
小菜的成长之路·2023-12-15 17:08

【UPPAAL学习笔记】1：基本使用示例

这节用三个例子学习UPPAAL的使用。
LauZyHou·2020-09-14 22:21

【TTool学习笔记】2：AVATAR建模方法(设计和验证)

其中，建模元素包括：Securitypragmas，用规约语言写信息安全性质的地方Safetyproperty(UPPAAL)，用规约语言写功能安全性质的地方，用的是UPPAAL的方法Performanceproperty
LauZyHou·2020-09-14 22:50

四列火车的uppaal模型的实现实例和性质验证

uppaal是由瑞典Uppsala大学的信息技术学院和丹麦Aalborg大学计算科学学院联合开发的一个集成工具环境，被用来对转换时间自动机网络模型的实时系统进行建模、仿真和验证。
bluedandelion·2018-05-04 21:50
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他