PROGRAMS BY mcmas-sc.sf.net
-
MCMAS-SC model checker Free
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.
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.