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
Updated on July 20, 2022
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