MCMAS-C Model Checker

Brought to you by: xxx2011

Last Update: 2013-04-11

MCMAS-C is an extension of MCMAS symbolic model checker for multi-agent systems. It is particularly used to check social commitments that agents can create toward each other and their fulfillment. It also supports CTLC logic.

Project Activity

See All Activity >

Follow MCMAS-C Model Checker

MCMAS-C Model Checker Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Rate This Project

User Reviews

Be the first to post a review of MCMAS-C Model Checker!

Additional Project Details

Registered

2011-01-26

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Docker Agent
AI Agent Builder and Runtime by Docker Engineering
Mail checker
mail checker can check POP3/IMAP4/local mailbox. This program is building for administrators or continuous readers. Each message is printed on console/TK window/log file/pipe with only 4 lines.
Agent Framework
Framework for building, orchestrating, and deploying AI agents
ChatArena
ChatArena (or Chat Arena) is a Multi-Agent Language Game Environments
Open Multi-Agent
One runTeam() call from goal to result