TLA + أدوات

مجموعة أدوات لغلق TLA + مواصفات لغة خوارزمية PlusCal، جنبا إلى جنب مع Assoc
التحميل الان

TLA + أدوات الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • Freeware
  • اسم الناشر:
  • Microsoft Research
  • حجم الملف:
  • 3.3 MB

TLA + أدوات العلامات


TLA + أدوات وصف

TLA + Tools عبارة عن مجموعة مفيدة من الأدوات المساعدة والمكونات التي تتضمن برنامج لتنضيد المواصفات TLA +، ومحاكاة مدقق نموذجية معالجة فئة فرعية من مواصفات TLA + القابلة للتنفيذ ". داخل حزمة TLA + Tools، يمكنك أيضا العثور على أداة مساعدة PlusCal إلى TLA + الترجمة، مدقق بناء الجملة لمواصفات TLA + وكذلك المحلل المحلل.


TLA + أدوات برامج ذات صلة

معلومات عنا