Verified
Code contracts assist to state the code assumptions and statements describing the activities of the code in a language-neutral mode. The contracts are integrated in the form of object-invariants, precondition, and post-conditions. The contracts assist to improve testing through static contract verification, facilitating run-time checking, and documentation creation.
The namespace System.Diagnostics.Contracts includes static classes which are used to state contracts in the code.