PROGRAMS BY mcmas-sc.sf.net

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.