Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu
Tải về

MCTK (Model Checking Time and Knowledge) là một trình kiểm tra mô hình biểu tượng cho các hệ thống đa tác nhân, hỗ trợ xác minh logic thời gian của kiến thức. Nó được phát triển dựa trên NuSMV 2.1.2 bởi Xiangyu Luo.

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2011-07-27
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-07-27

Chi tiết chương trình

Các chương trình liên quan

  • MedIC Automated Pipeline Scheduler Miễn phí

    Một phần mở rộng cho MIPAV (Medical Image Processing, Analysis, and Visualization) plug-in framework cho phép người dùng thiết kế và thực hiện các đường ống dẫn, đó là các tác vụ xử lý nhiều giai đoạn.

  • SmartHASH Miễn phí

    SmartHASH là một công cụ pháp y máy tính được thiết kế để đưa công việc grunt ra khỏi quá trình phân tích; do đó tiết kiệm thời gian đáng kể trong khía cạnh phân tích của hầu hết các cuộc điều tra.

  • Entropy Miễn phí

    DỰ ÁN NÀY KHÔNG CÒN ĐƯỢC LƯU TRỮ HOẶC CẬP NHẬT TRÊN SOURCEFORGE

  • Flash Authoring iPhone Components Miễn phí

    Flash Authoring Components để giúp phát triển iPhone. Bạn có thể gửi email cho [email protected] với NGUỒN Forge ID của bạn là bạn muốn tham gia dự án.

  • Asp.net Web Utilities Framework Miễn phí

    Asp.net các tiện ích web để giúp tôi (và những người khác) trong các dự án tương lai của tôi Framework sẽ chỉ đơn giản là cung cấp các lớp học đơn giản và điều khiển người dùng, v.v. cho các chức năng phổ biến - Đóng hộp và

  • DARKSTARgames Open Source Project Miễn phí

    DARKSTARgames là một dự án phát triển trò chơi có sở thích. Công cụ 3D của chúng tôi THẬM CHÍ sẽ được xuất bản dưới dạng Mã nguồn mở cùng với bản phát hành trò chơi nhằm mục đích cho năm 2007. Tuy nhiên chúng tôi đã có phần m

  • Workgroup Manager Miễn phí

    Workgroup Manager (WGM) là một công cụ quản lý nhóm làm việc Windows cho phép quản lý người dùng/nhóm từ xa và tối ưu hóa nhóm làm việc. Người dùng và nhóm có thể được thêm / chỉnh sửa / xóa và người dùng có thể được thêm vào

  • ascentemu Miễn phí

    Ascent là một gói phần mềm máy chủ dựa trên C++ cho World of Warcraft.Kho lưu trữ này là một bản sao lưu của dự án hiện không còn tồn tại.Nó được thay thế bởi Arcemu.

  • Command-Line Argument Parser For Java Miễn phí

    Đây là một thư viện để dễ dàng phân tích các đối số dòng lệnh trong Java theo hướng đối tượng bằng phương tiện của người nghe và sự kiện.

  • L2IrcBot Miễn phí

    L2IrcBot là một triển khai của API PircBot để kiểm tra tình trạng on-/offline của Lineage 2-Servers, được xác định bởi một hoặc nhiều tập tin cấu hình.