द्वारा कार्यक्रम sites.google.com/site/stpfastprover/

एसटीपी (सरल प्रमेय प्रोस्ट्रक): एक बाधा सॉल्वर/निर्णय प्रक्रिया जो कार्यक्रम विश्लेषण/परीक्षण पीढ़ी उपकरण, मॉडल चेकर्स, बग फाइंडर्स, हार्डवेयर/सॉफ्टवेयर औपचारिक सत्यापन उपकरण, बुद्धिमान फजीरों द्वारा उत्पन्न फार्मूले या बाधाओ