- 博客(3)
- 收藏
- 关注
RSS订阅原创 模型检验手册的阅读学习
模型检验手册阅读模型检验手册：为研究人员和研究生谁有兴趣开发形式主义，算法，软件工具的复杂系统，特别是硬件和软件系统的计算机辅助验证。关于模型检验模型检验是一种计算机辅助的动态系统分析方法，它可以被状态转换系统建模。从数学逻辑、程序设计语言、硬件设计和理论计算机科学的研究传统中，模型检验现在被广泛用于工业硬件和软件的验证。证明一个软件系统是正确的需要更多的努力、知识、培训和独创性，而不是以试错的方式编写软件。编码和核查之间的这种不对称是计算机辅助核查的主要动机，即使用计算机对软件和硬件进行核查。19
2021-04-27 11:29:50
103
1
原创 学习汇报
学习汇报一、近两周以来所做的工作有：1、 查找、阅读模型检测及投影时序逻辑相关文献；2、 看代码并写需求规格说明书，学习JavaWeb及React框架；二、以下为具体学习内容：**1、**有关于模型检测的学习：模型检测的过程：使用模型检测技术来进行系统设计的验证包含以下三个步骤：1、建模：第一个步骤是把设计转化为被模型检测工具接受的形式；可能由于验证时间和计算机内存的限制，还需要使用抽象技术简约不相关或不重要的细节（建模+简约）2、刻画：声明设计必须满足的性质。性质刻画通常以某种逻辑的形式
2021-04-13 19:36:08
347
1
原创 模型检测了解
关于模型检测了解在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软件更先进，多任务和笔画的数据核查变得更加困难。因此，程序员不得不考虑到时间推移下系统的行为。在这个契机下，时序逻辑被引入计算科学，这是计算科学发展历史的重要转折点。 时序逻辑也叫时态逻辑（temporallogic），是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于时间限定的命题的规
2021-03-30 18:38:45
242
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人