论文研究形式化方法Designware、B的比较.pdf
用户评论
推荐下载
-
B语言与方法实用形式化开发指南
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先,介绍了B语言的发展历史及与其他语言的关系,然后,从集合、序列等基本数学符号表示到B语言的结构化机制,再到它所支持的大型
13 2019-09-28 -
论文研究一种新的形式化模型对安全认证协议的分析.pdf
针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Petri网的基础上,引入融合库所建立一种新的形式化模型。利用该方法对Otway-Rees协议建立模型,并从可达性
15 2020-08-14 -
论文研究基于对象知识网的企业信息系统形式化表达研究.pdf
为了形式化地研究企业信息系统,提出了基于对象知识网的企业信息系统形式化方法。首先,研究了对象知识网及信息传递关系网的数学描述,分析了对象知识网表达信息系统的规则;然后给出了对象知识网构建的算法以及企业
6 2020-08-21 -
论文研究基于ATL的公平交换协议的形式化验证.pdf
如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(FairExchangeProtocols)进行形式化分析与验证,并选取了其中的一个电子合同
34 2019-10-01 -
软件形式化期中试卷
苏州大学 计算机科学与技术学院 软件工程 软件形式化 期中试卷 很具有参考性 希望对大家有帮助
20 2019-02-11 -
形式化语言USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acou
20 2020-01-11 -
frap程序形式化推理.zip
frap, 程序形式化推理 程序的正式原因这是一个正在进行中的开源书 by Adam Chlipala 同时介绍了 proof证明助手和技术证明程序正确性的技巧。 也就是说,游戏是完全严格的,机器检查
6 2020-07-22 -
安全关键软件形式化建模
一种铁路信号系统安全关键软件的形式化建模和分析方法
11 2020-07-25 -
论文研究面向事实建模方法ORM的一阶逻辑形式化分析.pdf
对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到2.0版,已应用于本体论工程,因此需要对其进行形式化以分析其本体表达能力。Halpin定义了一种知识表达语言KL,并使用KL形式化
8 2020-12-30 -
论文研究基于扩展Petri网的系统建模及形式化验证方法.pdf
嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Pet
11 2020-05-29
暂无评论