Tìm hiểu bộ kiểm chứng mô hình Spin
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Đại học Dân lập Hải Phòng
Abstract
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.