TITLE:SyncStitch: 並行システムのモデル化・検査ツール - http://www.principia-m.com/jp/ - SyncStitch 文書 -- http://www.principia-m.com/jp/ss-docs.html