Formal verification -
Formal verification
Views: 0
Votes: 0 (Avg 0.0)
Process of using formal proofs to demonstrate the consistency between formal specification of a system and formal security policy model (design verification) or between formal specification and its highlevel program implementation (implementation verification).
Average rating:
0.0
(0 reviews)
Sign in to manage your flashcard decks and leave a comment.
Discussion (0)
No comments yet. Be the first to share your experience with this term.