E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
UPPAAL
JRE、JDK下载安装教程
因为上一篇博客里面说到安装
UPPAAL
需要JRE1.8.0-1.12.0,这里专门出一个下载安装和环境配置的教程。不要求下这个版本的童鞋可以选择其他的版本进行下载。
小菜的成长之路
·
2023-12-15 17:08
java
jdk
jre
【
UPPAAL
学习笔记】1:基本使用示例
这节用三个例子学习
UPPAAL
的使用。
LauZyHou
·
2020-09-14 22:21
#
UPPAAL
UPPAAL
形式化验证
模型检测
状态机
验证工具
【TTool学习笔记】2:AVATAR建模方法(设计和验证)
其中,建模元素包括:Securitypragmas,用规约语言写信息安全性质的地方Safetyproperty(
UPPAAL
),用规约语言写功能安全性质的地方,用的是
UPPAAL
的方法Performanceproperty
LauZyHou
·
2020-09-14 22:50
#
TTool
TTool
形式化验证
嵌入式系统
四列火车的
uppaal
模型的实现实例和性质验证
uppaal
是由瑞典Uppsala大学的信息技术学院和丹麦Aalborg大学计算科学学院联合开发的一个集成工具环境,被用来对转换时间自动机网络模型的实时系统进行建模、仿真和验证。
bluedandelion
·
2018-05-04 21:50
uppaal
时间自动机
建模
仿真
性质验证
系统建模
上一页
1
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他