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

 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

 Trong phạm vi Tin học, ta có thể quan niệm bài toán là việc nào đó ta muốn máy tính thực hiện. Viết một dòng chữ ra màn hình, giải phương trình bậc hai, quản lí điểm trong trường học v.v… Khi dùng máy tính giải bài toán, ta cần quan tâm đến hai yếu tố: đưa và