软件形式化方法概述.docx

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.

针对有限域乘法器设计正确性的问题进行研究,阐述了有限域乘法器在高阶逻辑定理证明器HOL4中进行形式化建模和验证的过程。通过分析电路的结构特性和时序特性,提出了结合层次化和基于周期的形式化建模方法,构建

论文研究-一种基于π演算的行为建模形式化方法.pdf,  根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π

个人讲课时做的ppt，涵盖动态逻辑主要内容

Essence Framework (EF)是一个解决软件工程及其实践核心问题的新型框架。本研究根据设计科学研究(DSR)方法的指导方针，采用基于概念代数的算法，并将其应用于Scrum案例研究中，以将

针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题，以类型范畴理论为基础，为基于agent的移动云服务系统建立了一种形式化语义描述模型。该方法中，将agent描述为范畴理论中的对象节点，a

以点集拓扑学为基础,用集合对单纯形和单纯复形进行了形式化描述;讨论了GTP模型进行单纯剖分的必要性和形式描述的完备性,在给出确定GTP模型顶点编号方法的基础上,对GTP模型进行单纯剖分和形式化描述;利

形式化分析、安全协议分析

基于攻击树的网络攻击模式形式化研究

免疫系统的形式化研究，杨朋樽，田玉玲，免疫算法是基于生物免疫系统而提出的优化算法，在工业控制、组合优化、机器学习等方面都有很好的应用。不过基于生物机制的免疫算