Đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

55 1K 2
Đặc tả và kiểm chứng thiết kế của hệ thống tương tranh

Đ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

Từ khóa liên quan

Mục lục

  • MỤC LỤC

  • DANH MỤC CÁC HÌNH VẼ VÀ BẢNG BIỂU

  • DANH MỤC CÁC TỪ VIẾT TẮT

  • ChƯơng 1. Giới thiệu

  • ChƯơng 2. Các kiến thức cơ bản

  • 2.1. Labeled Transition Systems (LTSs)

  • 2.2. FSP (Finite State Process)

  • 2.2.1. Khái niệm FSP

  • 2.2.2. Các thành phần của FSP

  • 2.3. Phương pháp biểu diễn LTS

  • 2.4. LTS an toàn và thuộc tính an toàn

  • 2.5. Tính thỏa mãn

  • 2.6. Công cụ LTSA

  • Chương 3. Kỹ thuật phát hiện lỗi chương trình sử dụng LTSA

  • 3.1. Mô tả bài toán

  • 3.2. Kỹ thuật phát hiện lỗi sử dụng LTSA

  • Chương 4. Đặc tả và kiểm chứng thiết kế của hệ thống tương tranh sử dụng LTSA

  • 4.1 Phương pháp đặc tả

  • 4.1.1. Đặc tả thiết kế của chương trình tương tranh

  • 4.1.2. Đặc tả thuộc tính cần kiểm chứng

Tài liệu cùng người dùng

Tài liệu liên quan