形式验证 编辑
在计算机硬件和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
形式等效性检查是电子设计自动化的一个步骤，通常是在集成电路设计中，通过一些数学方法，来对不同电路之间进行形式验证，比较它们在行为上是否等效。
在针对 C++ 进行修订的 C++0x 中，概念 和与其相关的一组公设 被提出作为 C++ 模板系统的扩充。它们被设计用来增进编译器发现问题代码所产生的错误讯息，并让程序员能在他们所编写的样板中定义样板参数所具备的属性。这些属性让代码能指引编译器做某些优化，同时也可能透过形式验证工具来检验实作与规格是否相符以增进可靠性。