4 packages tagged with “postcondition”
Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.
Contract-Based Programming (or Design-by-Contract) with custom attributes such as [NotNull] or [Url] thanks to Metalama: pre-conditions, post-conditions and invariants.
Design by contract programming support
Simple Design by contract library supporting PreConditions and PostConditions