Download
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.
Follow MCMAS-C Model Checker
Other Useful Business Software
Go from Code to Production URL in Seconds
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MCMAS-C Model Checker!
