- Trang chủ
- Alexandre David
Mới Phần mềm Cho Alexandre David
UPPAAL TIGA 4.1.0-0.9
UPPAAL Tiga là một phần mở rộng của UPPAAL [BDL04] và nó thực hiện các hiệu quả trên-the-fly thuật toán đầu tiên để giải quyết các trò chơi dựa trên trò chơi hẹn giờ tự động làm đối với reachability và an toàn tài sản có.Mặc dù trò chơi tính thời gian lâu...
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...