تحقق شكلي (Q68426)
act of proving or disproving the correctness of intended algorithms الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | تحقق شكلي |
لا يوجد وصف |
|
| الإنجليزية | formal verification |
act of proving or disproving the correctness of intended algorithms |
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
subclass of الإنجليزية
Microsoft Academic ID الإنجليزية
different from الإنجليزية
وصلات الموقع
Marefa(١ وصلة واحدة)
- marefa تحقق شكلي
ويكيبيديا(١٩ وصلة)
- cswiki Formální verifikace
- dawiki Verifikation (bekræftelse)
- dewiki Verifizierung
- enwiki Formal verification
- eswiki Verificación formal
- fawiki درستییابی صوری
- frwiki Vérification formelle
- hewiki אימות תוכנה
- jawiki 形式的検証
- ltwiki Verifikacija
- nowiki Verifikasjon
- plwiki Weryfikacja formalna
- ptwiki Verificação formal
- ruwiki Формальная верификация
- skwiki Verifikácia
- srwiki Верификација
- trwiki Program doğrulama
- ukwiki Формальна верифікація
- zhwiki 形式验证