Package godbc provides design-by-contract assertions for Go, including preconditions, postconditions, and invariants.