How to Derive Correctness Constraints?



Need a definition of correctness.

Need a way to apply that definition.