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

66 443 1

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

1 / 66 trang

THÔNG TIN TÀI LIỆU

Nội dung

Ngày đăng: 25/03/2015, 09:46

Xem thêm

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

Kiểu mtype

Run và tiến trình init()

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

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN