Tarafından Programlar triple-a.sf.net

Triple-A (Automata ile Otomatik Analiz) iki güçlü analiz araçları (LTL model kontrol ve Presburger aritmetik ile ilgili) ve etrafında inşa edilmiş bir grafik kullanıcı arayüzü ile Java yazılmış (sonlu) otomat için tam özellik