Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
academic discipline
known for
main interest
Wikipage disambiguates
paradigm
primaryTopic
Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
has abstract
In the context of hardware and ...... tic semantics and Hoare logic.
@en
La verificación formal es un m ...... de corrección de un programa.
@es
On parle de vérification forme ...... il de l'informatique théorique
@fr
Verificação formal é a prova m ...... edade, usando métodos formais.
@pt
Verifizierung oder Verifikatio ...... als Verifizierung betrachtet.
@de
Weryfikacja formalna – stwierd ...... formalne metody matematyczne.
@pl
Формальная верификация или фор ...... рификацию с помощью программы.
@ru
在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。
@zh
形式的検証（けいしきてきけんしょう）とは、ハードウェアおよび ...... である。 “”—ACMシンポジウムで発表された論文の要約から
@ja
Wikipage page ID
Wikipage revision ID
740,300,401
subject
hypernym
comment
In the context of hardware and ...... ware expressed as source code.
@en
La verificación formal es un m ...... de corrección de un programa.
@es
On parle de vérification forme ...... il de l'informatique théorique
@fr
Verificação formal é a prova m ...... edade, usando métodos formais.
@pt
Verifizierung oder Verifikatio ...... als Verifizierung betrachtet.
@de
Weryfikacja formalna – stwierd ...... formalne metody matematyczne.
@pl
Формальная верификация или фор ...... рификацию с помощью программы.
@ru
在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。
@zh
形式的検証（けいしきてきけんしょう）とは、ハードウェアおよび ...... である。 “”—ACMシンポジウムで発表された論文の要約から
@ja
label
Formal verification
@en
Verificación formal
@es
Verificação formal
@pt
Verifizierung
@de
Vérification formelle
@fr
Weryfikacja formalna
@pl
Формальная верификация
@ru
形式的検証
@ja
形式验证
@zh