Formal verification
id:
formal-verification-177-8955294
title:
Formal verification
text:
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification is a key incentive for formal specification of systems, and is at the core of formal methods.
It represents an important dimension of analysis and verification in electronic design automation and is one approach to software verification. The use of f
brand slug:
wiki
category slug:
encyclopedia
description:
Proving or disproving the correctness of certain intended algorithms
original url:
https://en.wikipedia.org/wiki/Formal_verification
date created:
2003-07-17T07:06:30Z
date modified:
2024-09-04T14:30:17Z
main entity:
{"identifier":"Q173326","url":"https://www.wikidata.org/entity/Q173326"}
image:
fields total:
13
integrity:
15