问答题
简答题
什么是形式验证？形式验证有哪两种主要技术？
【参考答案】
形式验证就是基于已建立的形式规格，对所规格系统的相关特性进行分析和验证，以评判系统是否满足期望的特性。
形式验......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
使用形式化方法的原因是什么？ -
问答题
形式规格描述的是什么？ -
问答题
软件系统构建的关键是什么？
