B用の仕様アニメータ兼モデル検査ツールProBをインストール



ASSERT, REC, LET, WHILEなどは、まだサポートされていない。
STRINGなどはB Toolに特化していて、Atelier Bには対応していないとのこと。
The transitive and reflexive closure operator closure is not supported.

Posted: 水 - 9月 13, 2006 at 11:43 午前          

©