Ebooktinhoc.com - Download ebook với mediafire - Giáo trình - Đồ án Luận văn Công nghệ thông tin

Xem chi tiết

Xem: 1960

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

Tags: Đề tài: SPIN and specifying and verifying in concurrent systems, reactive systems,Lập trình ứng dụng
Comment
Đang online: 32
ve may bay thuoc giam can chuyen nha tron goi