contracts (cargo): Design-by-contract attributes
Keywords: verification|precondition|design-by-contract|invariant|postcondition