軟考軟件評測師考試知識點填空檢測（28）
摘要：軟件評測師是軟考中級考試科目之一，為方便考生對所學知識點的檢測，希賽軟考頻道為考生帶來軟考軟件評測師考試知識點填空檢測的內容，本文為軟考軟件評測師考試知識點填空檢測（28）。
為方便軟考考生對軟件評測師考試知識點的檢測，希賽軟考頻道為考生帶來軟考軟件評測師考試知識點填空檢測的內容（完整版可在本文文首本文資料處或文末的資料下載欄目下載）。
軟考軟件評測師考試知識點填空檢測（28）內容如下：
第28章 可信軟件驗證技術
可信軟件的驗證技術
·形式化建模與方法
形式化驗證技術：定理證明、________。
·可信軟件驗證工具
________是一款開源的形式化軟件驗證工具，用來分析和驗證并發系統邏輯是否一致的輔助驗證器，它主要是針對軟件檢測，而不是驗證硬件是否能高效運行。
________。
________是由ClearSy開發，操作使用B形式化方法的工業工具軟件，常用于需達到SIL3和SIL4功能安全級別的復雜系統的建模與驗證，如由阿爾斯通和西門子等開發的地鐵信號系統等。
軟考科目怎么選？
微信掃碼下方二維碼找答案
▼ ▼ ▼
熱門：系統集成項目管理工程師備考 | 網絡工程師備考 | 軟件設計師備考
推薦：系統規劃與管理師網絡課堂 | 2026年軟考報名時間及入口匯總表
活動：資料下載 | 新人禮包 | 2026上半年軟考第二期模考大賽
課程：系統規劃與管理師備考策略 | PMP課程
溫馨提示：因考試政策、內容不斷變化與調整，本網站提供的以上信息僅供參考，如有異議，請考生以權威部門公布的內容為準！
備考學習
一鍵領取新人專享大禮包
備考學習
2025下半年軟考各科真題免費下載
備考學習
信息系統項目管理師報考指南視頻課程
備考資料
2026上半年軟考各科備考資料匯總
歷年真題
軟考各科歷年真題在線答題練習
每日一練
備考2026年軟考不慌，每日一練陪伴你
報考指導
軟考報考指南（全流程詳細指導）
延伸閱讀
軟考備考資料免費領取
去領取
距離考試還有
天
- 0
- 3
- 5
專注在線職業教育25年
APP 
微信群 
掃描二維碼
掃描二維碼
