formal verification (Q173326)
act of proving or disproving the correctness of intended algorithms
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | formal verification |
act of proving or disproving the correctness of intended algorithms |
Statements
Identifiers
Sitelinks
Wikipedia(22 entries)
- arwiki التحقق الشكلي
- cawiki Verificació formal
- cswiki Formální verifikace
- elwiki Τυπική επαλήθευση
- enwiki Formal verification
- eswiki Verificación formal
- euwiki Egiaztapen formala (informatika)
- fawiki درستییابی صوری
- frwiki Vérification formelle
- hewiki אימות תוכנה
- itwiki Verifica formale
- jawiki 形式的検証
- kowiki 형식 검증
- plwiki Weryfikacja formalna
- ptwiki Verificação formal
- ruwiki Формальная верификация
- simplewiki Formal verification
- srwiki Формална верификација
- svwiki Formell verifiering
- trwiki Program doğrulama
- ukwiki Формальна верифікація
- zhwiki 形式验证