2026年10月系统分析师考试上午真题【基础知识】（第8题）-软考吧-您身边的软考专家-www.ruankaoba.com

2026年10月系统分析师考试上午真题【基础知识】（第8题）收藏

内容：基础知识
分值：1分
人气：38

【8】在程序验证静态方法中，（8）使用高阶逻辑对程序及其需要满足的性质进行建模描述，然后使用机器辅助证明的方法，一步一步证明程序能够满足要求的性质。

选项（1.0分）

A符号执行
B模型检测
C定理证明
D静态分析

参考答案

答案解析

关联章节

知识点

上一题下一题