Submit Software
  1. Home
  2. Windows
  3. Other
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

MCMAS-C is an extension to the most famous model checker MCMAS, which is implemented to verify multi-agent system. Our extension is related to check social commitments that agents can create and their fulfillment. It is model checker for CTLC logic.

VERSION HISTORY

  • Version files posted on 2011-01-25
    Several fixes and updates
  • Version N/A posted on 2011-01-25

Program Details

Related Programs

  • MConvert - Multiformat Converter Free

    MConvert is an open-sourced project which is intended to develop a tool for converting files. By using other open-source tools, MConvert wants to provide a wide range of possibilites for transforming fileformats.

  • WinCRC32 Free

    WINCRC32 uses CRC-32 technology to check each file and notifies you of any potentially bad, corrupt, incorrect size or missing files to save you hours of downloading only to find you have 1 file missing or the last file has a

  • Web Pictures Downloader Free Trial

    Web Pictures Downloader is an internet picture downloader to download pictures, photos, images, JPG, GIF from web or internet. It can access your favorite web sites with a maximum of 8 threads simultaneously. It analyzes the

  • A shoot'em up game for the Maemo Free

    A isometric shoot'em up game for Maemo platform. Basic idea is to generate a game where player (or players) can generate their own characters and batle against each other or computer controlled enemies.

  • SudokuGenerator in c++ and stl Free

    Sudoku puzzle generator that generates Sudoku puzzles with a given level of difficulty. The puzzles generated have a unique solution and can be solved without backtracking or guessing. The software is written in c++ using stl

  • Oxygen Basic Free

    Compact embeddable JIT compiler that reads C headers and compiles to x86 machine code. Executes directly in memory or creates DLLs and EXE files. Supports overloading and OOP. Currently available for MS platforms. 64bit in p

  • Lua Conio Free

    Lua Conio is wrapper for Turbo C conio, used to create text user interfaces developed by Gabriele Secci.

  • Book Keeper System Free

    A simple library management system written in Java using Struts + JSTL and JDBC. A classic layered architecture approach is used. Currently the DAOs work out of the box with mySql.

  • Counter Strike 1.6 File Free

    tlchargez des fichiers en rapport avec le serveur [TFS21] The Firefox Server

  • Multimodal Engine Platform Free

    MME system is presented as a need to communicate between heterogeneous devices and establish communication between user and application using different types of modalities.