1. Trang chủ
  2. » Luận Văn - Báo Cáo

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

Đ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

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 66
Dung lượng 2,37 MB

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 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

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

  • Đang cập nhật ...

TÀI LIỆU LIÊN QUAN

w