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

Kiểm chứng từng phần cho chương trình C

48 556 0
Kiểm chứng từng phần cho chương trình C

Đ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

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

Xem thêm: Kiểm chứng từng phần cho chương trình C, Kiểm chứng từng phần cho chương trình C, Chương 2: Một Số Khái Niệm Cơ Bản, 1 Hệ chuyển trạng thái được gán nhãn - LTS, 5 Đồ thị luồng điều khiển - CFG, Chương 3: Phương Pháp Kiểm Chứng, Chương 4: Ứng Dụng Với Công Cụ Copper, 2 Một số ứng dụng

Từ khóa liên quan

Mục lục

  • MỤC LỤC

  • BẢNG CÁC CHỮ VIẾT TẮT

  • DANH MỤC HÌNH VẼ

  • Chương 1: Giới Thiệu

  • Chương 2: Một Số Khái Niệm Cơ Bản

  • 2.1 Hệ chuyển trạng thái được gán nhãn - LTS

  • 2.2 Các phương pháp biểu diễn LTS

  • 2.2.1 Phương pháp liệt kê

  • 2.2.2 FSP

  • 2.3 Trừu tượng hóa thủ tục - PA

  • 2.4 Logic thời gian tuyến tính - LTL

  • 2.5 Đồ thị luồng điều khiển - CFG

  • Chương 3: Phương Pháp Kiểm Chứng

  • 3.1 Xây dựng mô hình

  • 3.1.1 Otomat luồng điều khiển

  • 3.1.2 Otomat luồng điều khiển mở rộng

  • 3.1.3 Phương pháp trừu tượng mệnh đề

  • 3.2 Kiểm chứng

  • 3.2.1 Phép ghép nối song song

  • 3.2.2 Kiểm chứng tính đúng đắn của chương trình

Trích đoạn

Phương pháp trừu tượng mệnh đề

Phép ghép nối song song

Công cụ Copper

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

Tài liệu liên quan