Đăng nhập
Zalo
Hoặc tiếp tục với email
Nhớ mật khẩu
Đang tải... (xem toàn văn)
Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
Ngày đăng: 25/03/2015, 09:46
Xem thêm: Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình, Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
Kiểu mtype
Run và tiến trình init()
Kiểm chứng chương trình trong Spin
Kiểm chứng (Verify)
Giao diện người dùng Xspin
Cấu trúc Never claim
Xây dựng biến và tiến trình đồng hồ
Hệ thống báo động, báo cháy mức trừu tượng