Formal Verification

Weryfikacja Formalna.

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:

0 0 votes
Ocena artykułu
Subscribe
Powiadom o
guest
0 komentarzy
Inline Feedbacks
View all comments
0
Zależy mi na Twojej opinii poniżej 😀x