Correctness Proof

Dowód Poprawności.

Matematyczny dowód zgodności między specyfikacją bezpieczeństwa systemu a implementacją tej specyfikacji. (Patrz: Correctness, Formal Specification).

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