Tłumaczenie Formal Verification to Weryfikacja Formalna.
Co to jest Formal Verification?
Proces wykorzystania dowodów formalnych do wykazania spójności pomiędzy formalną specyfikacją systemu a formalnym modelem polityki bezpieczeństwa (weryfikacja projektu) lub pomiędzy formalną specyfikacją a jej wdrożeniem programowym wysokiego poziomu (weryfikacja implementacji).
Skrót: –
Dodaj komentarz