Xem chi tiết
Xem: 2940
Tiêu đề: Đề tài: SPIN and specifying and verifying in concurrent systems,...
Tác giả: Ngôn ngữ: Vietnamese Chuyên ngành: Lập trình ứng dụng
|
Sơ lược
SPIN là một công cụ để xác minh tính chính xác của của một mô hình phần mềm một cách nghiêm ngặt và tự động. Ngôn ngữ đầu vào của SPIN có tên là PROMELA. PROMELA có thể dùng để quy định hệ thống đồng thời bằng cách tự động thay đổi số lượng các quá trình tươn
Comment
Đang online: 10