프로그램별 contractpp.sf.net

C++ 계약 프로그래밍(일명 계약에 의한 디자인). 지원되는 모든 에펠 기능: 선택적 계약 컴파일; 실패에 대한 사용자 정의 작업; 하도급; 이전 및 결과 값; 고정, 루프 변형을 차단합니다. http://contractpp.sourceforge.net