Phải có Công cụ phát triển Cho Alexandre David

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...