プログラム fast2armc.sf.net

fast2armc プログラムは、FAST(er) ツール用のカウンター・オートマトン・モデルのソース・コードを ARMC プロローグ構文に変換します。