プログラム contractpp.sf.net

C++ 契約プログラミング (別名コントラクトによるデザイン)。サポートされているすべてのエッフェル機能: オプションのコントラクトのコンパイル。失敗時のカスタマイズ可能なアクション。下請け;古い値と結果値。ブロック不変性、ループバリアント。http://contractpp.sourceforge.net