Triple-A 1.4.1

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต

Triple-A (การวิเคราะห์อัตโนมัติด้วย Automata) เป็นห้องสมุดเต็มรูปแบบสําหรับ (จํากัด) automata ที่เขียนใน Java ด้วยเครื่องมือวิเคราะห์ที่มีประสิทธิภาพสองตัว (การจัดการกับการตรวจสอบรูปแบบ LTL และเลขคณิต Presburger) และส่วนต่อประสานผู้ใช้แบบกราฟิกที่สร้างขึ้นรอบ ๆ

ประวัติรุ่น

  • เวอร์ชัน 1_2_5_5 โพสต์เมื่อ 2011-04-18
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 1.4.1 โพสต์เมื่อ 2007-05-13

รายละเอียดหลักสูตร