TLA + כלים. Toolkit עבור שפת מפרט TLA + ואת שפת אלגוריתם פלוס, יחד עם אחר שלהם ...
הורד עכשיו

TLA + כלים. דירוג וסיכום

TLA + כלים. תגים

מַדמֶה מָנָה יְתֵשׁ

TLA + כלים. תיאור

TLA + כלים הוא אוסף שימושי של כלי עזר ורכיבים הכוללים תוכנית עבור סוגי TLA + מפרטים, סימולטור בודק מודל התייחסות subclass של "הפעלה" TLA + מפרטים. בתוך חבילת TLA + כלים אתה יכול גם למצוא תוספת ל TLA + תרגום השירות, בודק תחביר עבור TLA + מפרטים, כמו גם מנתח.

TLA + כלים. תוכנה קשורה