(Q173326)
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 形式验证