Browsing Đồ án tốt nghiệp CNTT by Subject "Bộ kiểm chứng"
Now showing items 1-1 of 1
-
Tìm hiểu bộ kiểm chứng mô hình Spin
(Đại học Dân lập Hải Phòng, 2012)Nội dung của khóa luận: Khóa luận tìm hiểu về bộ kiểm chứng mô hình SPIN,các mô hình hệ thống viết bằng ngôn ngữ promela mà SPIN có thể hiểu được và các kiểm chứng mô hình bằng SPIN.