2025年大学《信息与计算科学》专业题库——信息科学中的模型检测与验证

考试时间：______分钟总分：______分姓名：______

一、选择题（每小题2分，共10分。请将正确选项的字母填在括号内）

1.模型检测主要用于自动验证（）是否满足给定的形式化规范。

A.程序代码

B.系统设计文档

C.硬件电路

D.系统模型

2.下列哪种形式化语言通常用于描述系统运行过程中的线性、时序性质？

A.CTL(ComputationTreeLogic)

B.LTL(LinearTemporalLogic