C++ tools to assist with "programming by contract"

Design-by-contract: verify your function inputs and outputs. Includes a large number of generated verifcation functions for convenience.

Specification of Extended Binary Search Tree project using the design by contract paradigm.

Utilities for design-by-contract programming and error handling

Design by Contract mechanisms in Eiffel

Design by Contract for demo purposes

Library to apply Design By Contract on plain Java projects

A function that automates type-checking of arguments passed to Python functions

A demo used in presenting CodeContracts

Assertion is a library for low-level validation, allows to verify invariants and pre/post conditions.

Design by contract for Go

GO tools to assist with "programming by contract"

Java unit-testing assertions to assist a Design By Contract style of programming

A Smart Contract Language based on design by contract and Event-B

Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC

🚧 Not yet ready for production

A set of exercises concerning dynamic binding, internal classes, design by contract, iterators and foreach loop, JFC, equality between objects and much more.

Code contracts library for pre and post condition validations in a fluent manner.

Design by contract extension to Java using annotations and bytecode injection

A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code