IDE for the TLA+ tools.
وصف الناشر (الإنجليزية)
ما هو برنامج tlaplus-toolbox؟
يُصنَّف برنامج tlaplus-toolbox لنظام Windows ضمن فئة العلوم والرياضيات، وهو مفتوح المصدر. يتوفر أيضًا لأنظمة Linux إلى جانب Windows.
التثبيت ومتطلبات التشغيل
يوفّر الناشر مثبّتات نسخة محمولة لإصدارات Windows جميع المعالجات. يعمل دون تثبيت (نسخة محمولة).
الإيجابيات / السلبيات
الإيجابيات
- مفتوح المصدر: يمكن لأي شخص فحص الشيفرة وبناؤها
- نسخة محمولة تعمل دون تثبيت
- يعمل أيضًا على Linux
باختصار: tlaplus-toolbox برنامج مفتوح المصدر من فئة العلوم والرياضيات يعمل على أجهزة جميع المعالجات.
أبرز المزايا
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
هل تحميل tlaplus-toolbox آمن؟
- يُقدَّم الملف من github.com؛ تأكّد من أنه خادم رسمي تابع للناشر
- رابط التحميل يستخدم HTTPS
- لا توجد بصمة منشورة لهذا الملف
- لم يُفحص الرابط بعد
- الشيفرة المصدرية متاحة للجميع
- لا يستضيف ExeAtlas ملفات التثبيت ولا يغلّفها ولا يعدّلها
شرح ذو صلة: التحقق من بصمة SHA256 لملف في Windows
أحدث الإصدارات
جميع الإصدارات (1) ›| الإصدار | التاريخ | الحجم | الملفات |
|---|---|---|---|
| 1.8.0الأحدث | — | جميع المعالجات ZIP |
التثبيت من سطر الأوامر
التثبيت الصامت ›scoop install extras/tlaplus-toolboxملفات البرامج (.exe): tlc.exe, toolbox.exe
شرح ذو صلة: شرح winget: تثبيت البرامج وتحديثها من سطر الأوامر
متوفر أيضًا لأنظمة أخرى
flatpak install flathub org.lamport.tla.toolboxمعلومات
- القسم
- العلوم والرياضيات
- الترخيص
- MIT
- السعر
- مجاني
- التصنيف العمري
- لجميع الأعمار
- المتطلبات
- Windows 11 / 10
- المعمارية
- جميع المعالجات
- نوع المثبّت
- نسخة محمولة
- أنظمة أخرى
- Linux
- الإصدار
- 1.8.0
- الإصدارات المدرجة
- 1
- الموقع الرسمي
- lamport.azurewebsites.net
- حزمة Scoop
- extras/tlaplus-toolbox
التقييمات والمراجعات
لا توجد مراجعات بعد. كن أول من يقيّم هذا البرنامج.
بدائل tlaplus-toolbox
عرض الكل ›-
مفتوح المصدر118 ألف ↓ -
مفتوح المصدر126.7 ألف ↓ -
مفتوح المصدر46 ألف ↓ -
مفتوح المصدر50.3 ألف ↓ -
مفتوح المصدر12.2 ألف ↓ -
مفتوح المصدر17.7 ألف ↓ -
مفتوح المصدر24.6 ألف ↓ - مفتوح المصدر28.6 ألف ↓
الأسئلة الشائعة
هل برنامج tlaplus-toolbox مجاني؟
نعم. برنامج tlaplus-toolbox مفتوح المصدر ويخضع لترخيص MIT.
هل تحميل tlaplus-toolbox آمن؟
يأتي ملف التحميل من github.com؛ ولا يستضيف ExeAtlas الملف ولا يعدّله.
هل يعمل tlaplus-toolbox على أجهزة Windows on Arm؟
المثبّت غير مرتبط بمعمارية معيّنة.
هل يمكن استخدام tlaplus-toolbox دون صلاحيات المسؤول؟
نعم، فهو نسخة محمولة: فُكّ ضغطه وشغّله.
ما بدائل tlaplus-toolbox؟
Stellarium، KiCad، Quarto، Qalculate! وJASP. تقارن صفحة البدائل بينها.
