formalverf.html

来自「数据结构词典（英文）」· HTML 代码 · 共 46 行

HTML
46 行
字号 
<!DOCTYPE HTML PUBLIC "-//IETF//DTD W3 HTML 2.0//EN">
<HTML lang="en-US">
<HEAD>
<TITLE>formal verification</TITLE>
<META name="description"
  content="Definition of formal verification,
	possibly with links to more information and implementations.">
<META name="keywords" content="formal verification">
</HEAD>
<BODY BGCOLOR="#FFFFFF">

<H1>formal verification</H1>
<P>
(definition)

<P>
<strong>Definition:</strong>
Establishing properties of hardware or software designs using logic, rather than (just) testing or informal arguments.  This involves formal specification of the requirement, formal modeling of the implementation, and precise rules of inference to prove, say, that the implementation satisfies the specification.
<P><strong>See also</strong>
<a href="modelcheckng.html" tppabs="http://hissa.nist.gov/dads/HTML/modelcheckng.html"><em>model checking</em></a>, <a href="temporllogic.html" tppabs="http://hissa.nist.gov/dads/HTML/temporllogic.html"><em>temporal logic</em></a>, <a href="formalmethod.html" tppabs="http://hissa.nist.gov/dads/HTML/formalmethod.html"><em>formal methods</em></a>.
<P>Author: <a href="terms.html#authorSKS" tppabs="http://hissa.nist.gov/dads/terms.html#authorSKS">SKS</a>

<hr>

Go to the
<A HREF="terms.html" tppabs="http://hissa.nist.gov/dads/terms.html">Algorithms, Data Structures, and Problems</A>
home page.

<hr>

If you have suggestions, corrections, or comments, please get in touch
with
<a href="javascript:if(confirm('http://hissa.nist.gov/~black/black.html  \n\nThis file was not retrieved by Teleport Pro, because it is addressed on a domain or path outside the boundaries set for its Starting Address.  \n\nDo you want to open it from the server?'))window.location='http://hissa.nist.gov/~black/black.html'" tppabs="http://hissa.nist.gov/~black/black.html">Paul E. Black</a>
&nbsp;(<a href="mailto:paul.black@nist.gov">paul.black@nist.gov</a>).

<p>
Entry modified Sat Sep  4 17:12:12 1999.<BR>
HTML page formatted Wed Dec 22 09:35:23 1999.

<P>
This page's URL is
<A href="formalverf.html" tppabs="http://hissa.nist.gov/dads/HTML/formalverf.html">http://hissa.nist.gov/dads/HTML/formalverf.html</A>

</BODY>
</HTML>

formalverf.html - 源码说明

本页面展示了「数据结构词典（英文）」中的 formalverf.html 源码文件，采用 HTML 编程语言编写，共 46 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与数据结构相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?