sal-3.0をインストール



遷移システムの性質を計算する、抽象化・プログラム分析・定理証明・モデル検査のためのフレームワーク。
salは、Symbolic Analysis Laboratoryの略。
HyblidSALをインストールするための準備。

マニュアル等はあまり整備されていず、論文がマニュアルが割の機能もあるなど、開発現場で使うのはまだ難しい感じだ。

Posted: 火 - 1 月 1, 2008 at 09:23 午後          

©