โปรแกรมตาม triple-a.sf.net

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