11.形式化建模与分析方法(续).pdf

裘宗燕译：工业开发中的形式化方法：成就、问题和未来（作者 J.-R. Abrial）.pdf

2018中国区块链技术大会上，斯雪明做的演讲，区块链—形式化表示与体系结构演进

1) PDF格式，带目录 2) 陆中万著，科学出版社

一种铁路信号系统安全关键软件的形式化建模和分析方法

形式化方法在云计算中的应用现状.pdf

采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.提出一种新型验证设计模型和生成代码一致性的方法,该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制电路系统作为验证实例,对验证方法做了检验和说明.

基于Java蓝图的过程模式形式化定义框架.pdf

针对产品设计初期设计需求反复修改和补充的状况，提出设计需求和方案求解协同演化创新设计方法.应用一种形式化的符号表达形式，研究了设计需求的获取方法，理性地描述了产品设计过程中涉及的各要素及其相互关系.在建立设计需求和方案求解协同演化创新设计方法求解模型的基础上，阐述了该方法的逻辑过程，构建了设计需求和方案求解逐层协同演化的框架.最后，以轧纸机机构的方案设计为例具体阐述了设计需求与方案求解协同演化的过程，验证了文中方法的实用性.

形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。