Atur cara mengikut triple-a.sf.net

Triple-A (Analisis Automatik dengan Automata) adalah perpustakaan yang diketengahkan sepenuhnya untuk (terbatas) automatik yang ditulis di Jawa dengan dua alat analisis berkuasa (berurusan dengan pemeriksaan model LTL dan ari