Created OnFebruary 12, 2018byadmin You are here: KB Home Definitions Definitions C Correctness Proof < BackA mathematical proof of consistency between a specification and its implementation. SOURCE: CNSSI-4009
