论文《安全协议的形式化说明、设计及验证》

原始存储库位于我自己的git服务器上,为 每次推送都会将其镜像到github,因此两者应该同步。 formal_hw_verification 使用形式验证来检查数字硬件设计正确性的测试和示例。 所有

移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述

形式化方法B和UML的结合研究，邹盛荣，，形式化方法B用抽象机器符号来描述软件的规格说明，因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用，UML是

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模

为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基

z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象，无法兼顾基于全局和局部的设计方法，并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回

形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域，利用商空间理论对Ontology进行形式化，并在此基础上对Ontology进行模

Web Services数据服务的形式化描述方法，余骞，王智立，在网络服务的开发过程中，对数据库进行增、删、改、查操作的数据服务的开发占相当大的比例。由于数据服务的代码中有很多重复部分

针对事件本体中动作程度词的形式化作了深入研究。首先从大量文本中提取程度词，进而根据其特征将其分为三类；然后找到一种完全覆盖此三类程度词的统一表示方法，用模糊逻辑将其形式化；最后通过实验验证其可行性。通