 | 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 + ליצור ולאמת TLA + מפרטים.
TLA Toolbox. תוכנה קשורה
