软考软件评测师考试知识点填空检测（28）

为方便软考考生对软件评测师考试知识点的检测，希赛软考频道为考生带来软考软件评测师考试知识点填空检测的内容（完整版可在本文文首本文资料处或文末的资料下载栏目下载）。

软考软件评测师考试知识点填空检测（28）内容如下：

第28章 可信软件验证技术

可信软件的验证技术

·形式化建模与方法

形式化验证技术：定理证明、________。

·可信软件验证工具

________是一款开源的形式化软件验证工具，用来分析和验证并发系统逻辑是否一致的辅助验证器，它主要是针对软件检测，而不是验证硬件是否能高效运行。

________。

________是由ClearSy开发，操作使用B形式化方法的工业工具软件，常用于需达到SIL3和SIL4功能安全级别的复杂系统的建模与验证，如由阿尔斯通和西门子等开发的地铁信号系统等。