Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. MCMAS-C Model Checker
  5. Download

MCMAS-C Model Checker

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

Về MCMAS-C Model Checker

MCMAS-C là một phần mở rộng cho máy kiểm tra mô hình nổi tiếng nhất MCMAS, được thực hiện để xác minh hệ thống đa tác nhân. Phần mở rộng của chúng tôi có liên quan đến việc kiểm tra các cam kết xã hội mà các đại lý có thể tạo ra và thực hiện của họ. Nó là mô hình kiểm tra cho CTLC logic.

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

  • MConvert - Multiformat Converter Miễn phí

    MConvert là một dự án mã nguồn mở nhằm phát triển một công cụ để chuyển đổi các tập tin. Bằng cách sử dụng các công cụ mã nguồn mở khác, MConvert muốn cung cấp một loạt các khả năng để chuyển đổi fileformats.

  • WinCRC32 Miễn phí

    WINCRC32 sử dụng công nghệ CRC-32 để kiểm tra mỗi tập tin và thông báo cho bạn về bất kỳ có khả năng xấu, hỏng, không chính xác kích thước hoặc thiếu tập tin để giúp bạn tiết kiệm giờ tải về chỉ để tìm thấy bạn có 1 tập tin b

  • Web Pictures Downloader Dùng thử miễn phí

    Web Pictures Downloader là một downloader hình ảnh internet để tải về hình ảnh, hình ảnh, hình ảnh, JPG, GIF từ web hoặc internet. Nó có thể truy cập các trang web yêu thích của bạn với tối đa 8 chủ đề cùng một lúc. Nó phân t

  • A shoot'em up game for the Maemo Miễn phí

    Một shoot'em isometric lên trò chơi cho nền tảng Maemo. Ý tưởng cơ bản là tạo ra một trò chơi mà người chơi (hoặc người chơi) có thể tạo ra các nhân vật của riêng họ và phủ vào nhau hoặc kẻ thù điều khiển máy tính.

  • SudokuGenerator in c++ and stl Miễn phí

    Sudoku câu đố máy phát điện mà tạo ra các câu đố Sudoku với một mức độ khó khăn nhất định. Các câu đố được tạo ra có một giải pháp độc đáo và có thể được giải quyết mà không cần quay lại hoặc đoán. Phần mềm này được viết bằng

  • Oxygen Basic Miễn phí

    Trình biên dịch JIT có thể nhúng nhỏ gọn đọc tiêu đề C và biên dịch mã máy x86. Thực hiện trực tiếp trong bộ nhớ hoặc tạo ra DLL và exe tập tin. Hỗ trợ quá tải và OOP. Hiện có sẵn cho các nền tảng MS. Đang tiến hành 64bit

  • Lua Conio Miễn phí

    Lua Conio là wrapper cho Turbo C conio, được sử dụng để tạo giao diện người dùng văn bản được phát triển bởi Gabriele Secci.

  • Book Keeper System Miễn phí

    Một hệ thống quản lý thư viện đơn giản được viết bằng Java bằng cách sử dụng Struts + JSTL và JDBC. Một cách tiếp cận kiến trúc lớp cổ điển được sử dụng. Hiện nay các DAOs làm việc ra khỏi hộp với mySql.

  • Counter Strike 1.6 File Miễn phí

    tlchargez des fichiers en mối quan hệ avec le serveur [TFS21] The Firefox Server

  • Multimodal Engine Platform Miễn phí

    Hệ thống MME được trình bày như là một nhu cầu để giao tiếp giữa các thiết bị không đồng nhất và thiết lập giao tiếp giữa người dùng và ứng dụng bằng cách sử dụng các loại phương thức khác nhau.