Chương trình theo triple-a.sf.net

Triple-A (Phân tích tự động với Automata) là một thư viện đầy đủ tính năng cho (hữu hạn) automata được viết bằng Java với hai công cụ phân tích mạnh mẽ (đối phó với kiểm tra mô hình LTL và số học Presburger) và một giao diện