DREAM Tool - 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

DREAM Tool 0.7 Beta

Công cụ DREAM là một khuôn khổ chung đó nhằm cung cấp một miền ngữ nghĩa thông thường mà có thể thể hiện nhiều (thời gian thực, tiêu thụ điện năng, nguồn lực) hạn chế.Tên miền ngữ nghĩa có một C ++ mô hình thực thi đã được ngữ nghĩa neo vào automata thức...