formal verification (Q173326)
Jump to navigation
Jump to search
act of proving or disproving the correctness of intended algorithms
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | formal verification |
act of proving or disproving the correctness of intended algorithms |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(20 entries)
- arwiki التحقق الشكلي
- 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
- svwiki Formell verifiering
- trwiki Program doğrulama
- ukwiki Формальна верифікація
- zhwiki 形式验证