简答题

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

正确答案

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

答案解析

相似试题
  • 循环动作主要有哪两种形式()

    单选题查看答案

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

    简答题查看答案

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

    简答题查看答案

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

    填空题查看答案

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

    填空题查看答案

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

    简答题查看答案

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

    简答题查看答案

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

    简答题查看答案

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

    简答题查看答案