![](/statics/img/blank.png)
Triple-A 1.4.1
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 5.0/5 - 1 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ Triple-A
Triple-A (การวิเคราะห์อัตโนมัติด้วย Automata) เป็นห้องสมุดเต็มรูปแบบสําหรับ (จํากัด) automata ที่เขียนใน Java ด้วยเครื่องมือวิเคราะห์ที่มีประสิทธิภาพสองตัว (การจัดการกับการตรวจสอบรูปแบบ LTL และเลขคณิต Presburger) และส่วนต่อประสานผู้ใช้แบบกราฟิกที่สร้างขึ้นรอบ ๆ