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