Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02057451n
Noun Concept
NL
Verifikasjon  controleerbaarheid  formele verificatie  programma verificatie
EN
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. Wikipedia
Relations
Sources
IS A
verificatie
HAS KIND
EN
runtime verification
OBJECTIVE OF PROJECT OR ACTION
correctheid van programma's
Wikidata
NL
Verifikasjon
Wikipedia Translations
NL
controleerbaarheid, formele verificatie, programma verificatie

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License