高级软件工程--形式化开发方法之Z方法+形式化方法与软件开发+高级软件工程(第2章：软件过程)+高级软件工程(第二章)软件开发过程与开发方法 (2017课件)+第二章 软件开发方法概述+第1章软件开发方法(二)软件工程+形式化方法与软件开发

形式化方法模型的特点 在开发中使用形式化方法时，它们提供了一种机制，能够消除使用其它软件过程模型难以克服的很多问题。 二义性、不完整性、不一致性能被更容易地发现和纠正，而不是通过专门的评审，是通过对应用的数学分析。 形式化方法提供了可以产生无缺陷软件的承诺。

中国科学技术大学形式化方法作业Induction章节

软件工程的形式化方法考查试题，软件形式规格说明语言z，期末考试试题

中国科学技术大学形式化方法实验和期末复习资料

安全技术-网络信息-面向无线网络的形式化方法研究.pdf

日本法政大学 刘少英教授课题组开发的形式化语言教学软件SOFL配套课件

原始存储库位于我自己的git服务器上，为 每次推送都会将其镜像到github，因此两者应该同步。 formal_hw_verification 使用形式验证来检查数字硬件设计正确性的测试和示例。 所有测试均使用完成， 是基于正式验证流程的。 master分支中的所有内容都使用和作为（Symbi）Yosys的VHDL前端插件。 使用GHDL作为综合前端可以使用PSL作为验证语言。 中的一些示例使用的商业VHDL / SystemVerilog前端插件，它不是免费的SW，也不包含在免费的Yosys版本中。 有关更多信息，请参见。 您可以使用提供的hdlc/formal:all docker映像（推荐）。 或者您使用我在自己的机器上构建。 两者都有可用的最新工具版本。 铝 VHDL中的简单ALU设计。 形式检查包含由assert＆cover指令使用的各种简单属性，这些属性已通过Symb

北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。

UCAS-安全协议与形式化方法-思维导图.xmind