Đồ Án Tìm hiểu erigone model checker

Thảo luận trong 'Công Nghệ Thông Tin' bắt đầu bởi Củ Đậu Đậu, 29/3/14.

  1. Củ Đậu Đậu

    Củ Đậu Đậu New Member

    Bài viết:
    991
    Được thích:
    1
    Điểm thành tích:
    0
    Xu:
    0Xu
    #1 Củ Đậu Đậu, 29/3/14
    MỤC LỤC
    LỜI NÓI ĐẦU . 1
    Chương 1. ERIGONE TRÊN CÔNG CỤ EUI . 2
    I/ Giới thiệu tổng quan .
    II/ Ví dụ demo . 11

    Chương 2: ERIGONE BẰNG CÂU LỆNH 21
    I/ Tìm hiểu về Erigone bằng dòng lệnh 21
    II/ Mô phỏng chương trình Promela bằng công cụ Erigone . 27
    III/ Chương trình List 36
    IV/ Chương trình Trace 36
    V/ Chương trình VMC 39
    TÀI LIỆU THAM KHẢO 43
     

    Các file đính kèm:

Đang tải...
Chủ đề tương tự
  1. Thúy Viết Bài

    Tiểu Luận Tìm hiểu erigone model checker

    Thúy Viết Bài, 5/12/13, trong diễn đàn: Công Nghệ Thông Tin
    Trả lời:
    0
    Xem:
    215
    Thúy Viết Bài
    5/12/13
  2. Quy Ẩn Giang Hồ

    Tiểu Luận Tìm Hiểu Và Ứng Dụng Dropbox

    Quy Ẩn Giang Hồ, 29/5/21, trong diễn đàn: Công Nghệ Thông Tin
    Trả lời:
    0
    Xem:
    245
    Quy Ẩn Giang Hồ
    29/5/21
  3. Quy Ẩn Giang Hồ

    Báo Cáo Access Tìm hiểu và phân tích bài toán quản lý khách sạn

    Quy Ẩn Giang Hồ, 29/5/21, trong diễn đàn: Công Nghệ Thông Tin
    Trả lời:
    0
    Xem:
    225
    Quy Ẩn Giang Hồ
    29/5/21
  4. Quy Ẩn Giang Hồ

    Đồ Án Tìm hiểu ngôn ngữ c# và viết một ứng dụng minh họa

    Quy Ẩn Giang Hồ, 5/4/17, trong diễn đàn: Công Nghệ Thông Tin
    Trả lời:
    0
    Xem:
    784
    Quy Ẩn Giang Hồ
    5/4/17
  5. Quy Ẩn Giang Hồ

    Đồ Án Tìm hiểu lịch sử phát triển , kiến trúc , nền tảng , công nghệ , thị phần , các thông tin liên quan

    Quy Ẩn Giang Hồ, 1/11/15, trong diễn đàn: Công Nghệ Thông Tin
    Trả lời:
    0
    Xem:
    805
    Quy Ẩn Giang Hồ
    1/11/15