 | الثلاثيجعل التحليل التلقائي سهلا. |
| التحميل الان | |
الثلاثي الترتيب والملخص
الإعلانات
الثلاثي العلامات
الثلاثي وصف
يعد التحليل الثلاثي أو التلقائي مع Automata مكتبة مقرها Java كاملة مميزة للأتمتة المحدودة المصممة بأدوات تحليلتين قوية (التعامل مع فحص طراز LTL وحصريات Presburger) وواجهة مستخدم رسومية بنيت حولها.
الثلاثي برامج ذات صلة
