Correctness Proof

February 12, 2018

How Can We Help?

Correctness Proof

You are here:
< Back

A mathematical proof of consistency between a specification and its implementation.
SOURCE: CNSSI-4009