Submit Software
  1. Home
  2. Windows
  3. Other
  4. MCMAS-SC model checker

MCMAS-SC model checker

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

A new model checker, called MCMAS-SC, for verifying social commitments and their fulfillment. It is an extenstion of MCMAS model checker to support verification of CTLC logic.

VERSION HISTORY

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

Program Details

Related Programs

  • CHLone Free

    The CHLone bundle is a CGNS/SIDS compliant mapping application of of SIDS-to-HDF5 and contains 3 levels of interface for application development. These are:- C1 the CGNS/MLL Clone, same API as CGNS/MLL- A2 the Application A

  • FactotumNOW IAS Reporting Free Trial

    FactotumNOW IAS Reporting imports IAS/RRAS (Microsoft VPN) log files through an engine that can be installed onto the VPN/IAS server. IAS (Microsoft® Internet Authentication Service) statistics are then updated automatically

  • Flash-Creator Free Trial

    Flash Creator is a quick and refreshingly easy-to-use tool for creating animated Flash logos, banners, intros, headers and anything else that you can imagine right out of the box. It provides you with a point-and-click design

  • SAW (Small Artificial World) Free

    SAW (Small Artificial World) is a simulation of natural evolution. The world is populated by numerous artificial beings which can interact with each other for a battle of survival. Genetic algorithm and neural network are use

  • evids video intrusion detection system Free

    Evids is a video intrusion detection client/server system. The automated surveillance software provides full-time monitoring of incoming video signals. Furthermore, Evids is an free opensource project running on many plate

  • Accessibility plugins for Liferay Free

    The purpose of this projet is to provide a set of extensions (plugins) to enhance the accessibility experience on Liferay portal.

  • SynchroJet Free Trial

    SynchroJet is an easy-to-use backup and synchronization utility, which can work with local sources, LAN, FTP/SSL. With SynchroJet you can easily keep all important files synchronized between servers, desktops, laptops, LAN, F

  • ControlK Free

    This is a very simple plugin for JEdit. It add the Eclipse control-K feature, that is: find the next occurence of the selected text.

  • emulare Free

    Emulare is an arduino emulator.It allows you to run arduino programs in emulation. It has full support for all the devices on the Arduino Duemilanove. It has a GDB interface for debugging. It has a complete graphical interf

  • Music Shuffling Free

    A .net 3.5 application which allow user to shuffle their music in ipod or other device. complete features with select random files and also shuffle by per files.