プログラム slicefy.sf.net

スライスによる同時システムの仕様と検証のためのツール。