इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें PD अनुबंध द्वारा सत्यापित डिजाइन प्रतिमान का समर्थन करता है, जो अनुबंध द्वारा डिजाइन का एक विस्तार है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "पीडी अनुबंध द्वारा सत्यापित डिजाइन प्रतिमान का समर्थन करता है, जो अनुबंध द्वारा डिजाइन का एक विस्तार है जिसमें अनुबंधों को स्थिर विश्लेषण और स्वचालित प्रमेय साबित करके सत्यापित किया जाता है, ताकि यह निश्चित हो कि वे रनटाइम पर विफल नहीं होंगे। "