Back التحقق الشكلي Arabic Formální verifikace Czech Τυπική επαλήθευση Greek Formal verification English Verificación formal Spanish Egiaztapen formala (informatika) EU درستییابی صوری FA Vérification formelle French אימות תוכנה HE Verifica formale Italian
Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne.