Submit Software
  1. Home
  2. Windows
  3. Other
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

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

MCTK (Model Checking Time and Knowledge) is a symbolic model checker for multi-agent systems, which supports the verification of temporal logic of knowledge. It is developed based on NuSMV 2.1.2 by Xiangyu Luo.

VERSION HISTORY

  • Version N/A posted on 2011-07-27
    Several fixes and updates
  • Version N/A posted on 2011-07-27

Program Details

Related Programs

  • MedIC Automated Pipeline Scheduler Free

    An extension to the MIPAV (Medical Image Processing, Analysis, and Visualization) plug-in framework that allows the user to design and execute pipelines, which are multi-stage processing tasks.

  • SmartHASH Free

    SmartHASH is a computer forensics tool designed to take the grunt work out of the analysis process; thereby saving considerable time in the analysis aspect of most investigations.

  • Entropy Free

    THIS PROJECT IS NO LONGER HOSTED OR UPDATED ON SOURCEFORGE

  • Flash Authoring iPhone Components Free

    Flash Authoring Components to help with iPhone Development. You can email me at [email protected] with your Source Forge ID is you want to join the project.

  • Asp.net Web Utilities Framework Free

    Asp.net web utilities framework to help me (and others) in my future projects The Framework will simply provide simple classes and user controls etc. for common functions - Boxed and ready to be extended (As IS - No Warranty

  • DARKSTARgames Open Source Project Free

    DARKSTARgames is a hobbyist game development project. Our 3D engine EVEN will be published as Open Source together with the game release aimed for 2007. However we already have now software, that may be interesting for the pu

  • Workgroup Manager Free

    Workgroup Manager (WGM) is a Windows workgroup management tool enabling remote user/group management and workgroup optimization. Users and groups can be added/edited/deleted and users can be added to groups by dragging and dr

  • ascentemu Free

    Ascent was a C++ based server software package for World of Warcraft.This repository is a backup of the now defunct project.It was superseded by Arcemu.

  • Command-Line Argument Parser For Java Free

    This is a library for easily parsing command line arguments in Java in an Object Oriented way by means of Listeners and Events.

  • L2IrcBot Free

    L2IrcBot is an implementation of the PircBot API to check the on-/offline status of Lineage 2-Servers, defined by one or more config-files.