 | g4ltl.إنشاء وحدات تحكم لمواصفات LTL |
| التحميل الان | |
g4ltl. الترتيب والملخص
الإعلانات
g4ltl. العلامات
g4ltl. وصف
G4LTL هو تطبيق خفيف الوزن وسهل الاستخدام مصمم لتزويدك بطريقة بسيطة لتوليد وحدات التحكم التي تنشئ مواصفات LTL. يمكن G4LTL إنشاء رمز زائف، FSMATTORS ل PTOLEMY II أو نماذج SL. يمكن للمستخدم إدخال الإدخال وإشارات الإخراج وتكوين خطوات غير المرض. يتم دعم اثنين من المترجمين الأماميين: LTL2BUCHI (Java) أو LTL2BA (منصات محدودة).
g4ltl. برامج ذات صلة
