Những tài liệu gần giống với tài liệu bạn đang xem
Kiểm chứng mô hình phần mềm sử dụng nusmv
Tóm tắt 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
doc Đăng bởi
sieucophieu
