Classification of Implementation Verification Approaches
Classification of Implementation Verification Approaches
m Correctness Checking
Implementation Þ SpecificationÔ A Sufficiency Check
m Equivalence Checking
Implementation Û SpecificationÔ Checks that the two descriptions are functionally equivalent.