इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें पीवीएस, या प्रोटोटाइप सत्यापन प्रणाली, समर्थन उपकरण और एक प्रमेय प्रोवर के साथ एकीकृत एक विनिर्देश भाषा है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "पीवीएस, या प्रोटोटाइप सत्यापन प्रणाली, समर्थन उपकरण और एक प्रमेय प्रोवर के साथ एकीकृत एक विनिर्देश भाषा है, जिसे एसआरआई इंटरनेशनल, कैलिफोर्निया, यूएसए की कंप्यूटर साइंस प्रयोगशाला में विकसित किया गया है। "