Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.
Static assertions (compile time assertions). Merged into Boost.Config.
Support for simple program testing, full unit testing, and for program execution monitoring.