Program menurut triple-a.sf.net

Triple-A (Automatic Analysis with Automata) adalah perpustakaan berfima lengkap untuk automata (terbatas) yang ditulis di Java dengan dua alat analisis yang kuat (berurusan dengan pengecekan model LTL dan aritmatika Presburge