UPPAAL - Phần mềm miễn phí tải về Cho Linux Trong đảm bảo chất lượng và kiểm thử phần mềm

UPPAAL 4.0.6

UPPAAL là một môi trường công cụ tích hợp cho mô hình, xác nhận và xác minh của các hệ thống thời gian thực mô hình hóa như các mạng của automata timed, mở rộng với các kiểu dữ liệu (số nguyên có giới hạn, mảng, vv).UPPAAL CORA là một chi nhánh của UPPAAL...