首页学历类考试大学计算机科学
(简答题)

什么是形式验证?形式验证有哪两种主要技术?

正确答案

形式验证就是基于已建立的形式规格,对所规格系统的相关特性进行分析和验证,以评判系统是否满足期望的特性。
形式验证的主要技术包括:模型检验、定理证明,以及模型检验与定理证明的结合。

答案解析

相似试题

  • (单选题)

    循环动作主要有哪两种形式()

    答案解析

  • (简答题)

    主要有哪两种形式的数据抽象?

    答案解析

  • (简答题)

    串行通信传送编码.主要有哪两种形式?

    答案解析

  • (填空题)

    窗体验证包括()和服务器端验证两种形式。

    答案解析

  • (填空题)

    窗体验证包括()和()两种形式

    答案解析

  • (简答题)

    交互概述图有哪两种形式,它们分别适用于什么场景?相对而言,哪一种会更加常用一些?

    答案解析

  • (简答题)

    什么是请求字处理技术?请求字处理技术有哪两种方案,具体是怎样实现的?

    答案解析

  • (简答题)

    同步传送协议主要有哪两种,主要特点是什么?

    答案解析

  • (简答题)

    数据的存储结构主要有哪两种?它们之间的本质区别是什么?

    答案解析

快考试在线搜题