Đang chuẩn bị liên kết để tải về tài liệu:
LUẬN VĂN:KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG Tải xuống

Kiểm chứng mô hình (model checking) là một hướng tiếp cận hiệu quả cho việc đảm bảo chất lượng phần mềm. Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn của phần mềm hoặc chỉ ra tại sao phần mềm không chạy đúng thông qua phản ví dụ.Hiện nay có rất nhiều công cụ kiểm chứng mô hình phần mềm như NuSMV, SPIN, KRONOS .