形式化方法教材

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

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

一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！

论文研究-反精确现象与形式化研究.pdf,  通过尝试给出软直方图估计模型中样本不完备度和模型粗糙度匹配关系的公式化定义,发现了一个反精确规则.该反精确规则给出的启示是,如果信息是不完备的,则一个较粗

本分析案例对于搞面向对象分析与形式化软件开发的人是一个较好的简单的例子希望大家捧场与评论请注意：以作者为amdcwf（昵称为：陈谈）上发的源 码， 绝对都是本人的原创本人格言：不是精品，绝对不发（什么

Habanero编程模型的Coq形式化 编程模型的形式化。 我们主要关注属性的形式化,例如死锁自由和种族自由。 该项目的总体目标是提供理论框架,阅读Coq库,以验证同步机制。 刊物 使用Coq对Hab

高速铁路列车运行控制系统的形式化建模与验证方法

传统的源码缺陷分析方法存在缺陷规则有限，缺陷检测结果不明确等问题。以模型检测中的形式化规约为基础，提出一种积木式缺陷规则库构建和源码检测方法。利用元数据，用户能够通过简单的CTL逻辑操作，实现自定义待

在安全协议的形式化分析研究当中，如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题，提出了用匹配关系来形式化地描述各种安全属性的统一框架，建立了语法和语义系统，

面向方面的规范描述在软件体系结构建模和分析中起着重要的作用，但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持，也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作