هذا هو تطبيق لينكس المسمى STP، ويمكن تنزيل أحدث إصدار منه باسم simplifyingSTP_1022.tar.gz. ويمكن تشغيله عبر الإنترنت من خلال موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى STP مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
STP
الوصف:
تم نقل كود STP إلى GITHUB. الكود هنا قديم. يُرجى زيارة الموقع التالي:
http://stp.github.io/
الجمهور
تكنولوجيا المعلومات، العلوم/البحث، المستخدمون النهائيون المتقدمون، المطورون، المستخدمون النهائيون/سطح المكتب، مهندسو الجودة
واجهة المستخدم
وحدة التحكم / المحطة
لغة البرمجة
بايثون، سي++، سي، أوكامل (كامال موضوعي)، جافا
هذا تطبيق يُمكن تنزيله أيضًا من https://sourceforge.net/projects/stp-fast-prover/. وقد استُضيف في OnWorks لتشغيله عبر الإنترنت بسهولة من أحد أنظمتنا التشغيلية المجانية.