Correct by Construction Standard Compliance/conformance

License: CC-3.0
Submitted by yamine on