プログラム mcmas-sc.sf.net

社会的コミットメントとその履行を検証するためのMCMAS-SCと呼ばれる新しいモデルチェッカー。CTLC ロジックの検証をサポートする MCMAS モデル チェッカーの拡張です。