..:Đề tài: SPIN and specifying and verifying in concurrent systems, reactive systemsEbook Tin hoc - Download Ebook với Mediafire | Ebook tin học | Giáo trình

Xem chi tiết

Xem: 2913

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

Download

Đưa vào tủ sách

Báo link xấu

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

Tags: Đề tài: SPIN and specifying and verifying in concurrent systems, reactive systems,Lập trình ứng dụng

Comment