द्वारा कार्यक्रम contractpp.sf.net

सी ++ कॉन्ट्रैक्ट प्रोग्रामिंग (उर्फ डिजाइन बाय कॉन्ट्रैक्ट)। सभी एफिल सुविधाओं का समर्थन किया: वैकल्पिक अनुबंध संकलन; विफलता पर अनुकूलन योग्य कार्रवाई; उपअनुबंध; पुराने और परिणाम मूल्य; इनवेरेंट्स, लूप वेरिएंट को ब्लॉक करें।