« 並行性を持つコンポーネントの安全な再利用 | トップページ | SysML/UMLの状態図の制約や並行性の性質記述 »

2016年6月21日 (火)

Spinのツールを複数使い分け~xSpinとiSpin

線形時相の命題の充足や反例チェックのやり易さやGUIの使い勝手を考慮してxSpinとiSpinなど幾つかのSpinのツールを複数使い分けることにした。

Xspin


|

« 並行性を持つコンポーネントの安全な再利用 | トップページ | SysML/UMLの状態図の制約や並行性の性質記述 »

「パソコン・インターネット」カテゴリの記事