MCMAS-SC model checker

Last Update: 2016-10-21

Get an email when there's a new version of MCMAS-SC model checker

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.

Project Activity

See All Activity >

Follow MCMAS-SC model checker

MCMAS-SC model checker Web Site

Other Useful Business Software

Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview

Try free now

Rate This Project

User Reviews

Be the first to post a review of MCMAS-SC model checker!

Additional Project Details

Registered

2011-01-25

Report inappropriate content

Recommended Projects

JavaMC
This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.
MCMAS-C Model Checker
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.
WinDS PRO