एसटीपी (सरल प्रमेय प्रोस्ट्रक): एक बाधा सॉल्वर/निर्णय प्रक्रिया जो कार्यक्रम विश्लेषण/परीक्षण पीढ़ी उपकरण, मॉडल चेकर्स, बग फाइंडर्स, हार्डवेयर/सॉफ्टवेयर औपचारिक सत्यापन उपकरण, बुद्धिमान फजीरों द्वारा उत्पन्न फार्मूले या बाधाओं को स्वीकार करती है ।
संस्करण इतिहास
- विवरण simplifyingSTP%20r1022 पर तैनात 2010-09-24
कई सुधार और अपडेट - विवरण simplifyingSTP r1022 पर तैनात 2010-09-24
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: sites.google.com/site/stpfastprover/
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1022
- मंच: linux