Triple-A 1.4.1
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 5.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về Triple-A
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 người dùng đồ họa được xây dựng xung quanh nó.