 | TLA Toolbox.بيئة تطوير متكاملة للكتابة والتحقق من مواصفات TLA + |
| التحميل الان | |
TLA Toolbox. الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- اسم الناشر:
- Microsoft Research
- أنظمة التشغيل:
- Windows XP / Vista / 7
- حجم الملف:
- 48.6 MB
TLA Toolbox. العلامات
TLA Toolbox. وصف
TLA + هي لغة مواصفات مصممة للمساعدة في إنشاء مواصفات رفيعة المستوى لكل من النظم الموزعة والمتزامنة. TLA Toolbox هي IDE التي تم تصميمها من أجل السماح لك باستخدام مدقق نموذج TLC و TLAPS بالإضافة إلى نظام TLA + Proof لإنشاء مواصفات TLA + وتحقق منها.
TLA Toolbox. برامج ذات صلة
