Correctness Proof

From FISMApedia
Jump to: navigation, search

CNSSI 4009

A mathematical proof of consistency between a specification and its implementation.