G4ltl יצירת בקרים עבור מפרטים LTL
הורד עכשיו

G4ltl דירוג וסיכום

G4ltl תגים

מְתוּרגְמָן סִינתֶזָה מִפרָט

G4ltl תיאור

G4LTL הוא קל משקל וקל לשימוש ביישום שנועד לספק לך שיטה פשוטה עבור יצירת בקרים שיוצרים מפרטים LTL. G4LTL יכול ליצור קוד פסאודו, fmmactors עבור ptolemy II או מודלים SAL. המשתמש יכול להזין את הקלט ואת אותות הפלט ולהגדיר את צעדי ההוראה. שני מתרגמים חזיתיים נתמכים: LTL2BUCHI (JAVA) או LTL2BA (פלטפורמות מוגבלות).

G4ltl תוכנה קשורה