Formal verification is the process to prove that a piece of software or hardware works according to its specification.
Search for a sign language term
Formal Verification
< 1 min read
Updated on July 20, 2022
< 1 min read
Formal verification is the process to prove that a piece of software or hardware works according to its specification.
This project has been co-funded with support from the European Commission. This communication reflects the views only of the author, and the Commission cannot be held responsible for any use which may be made of the information contained therein.
Project number: 2020-1-IT01-KA202-008386
English 
Italian 
German 
Portuguese 
Spanish 
Bulgarian 
Greek