DBC++ - DBC++ provides a few extensions to C++ to ease the use of design by contract in C++ programs.

• 提供了对C++的一些扩展，可以简化根据合同设计C++程序的过程。