Alloy

※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

Alloy




インストール方法

  • MacOSXならdmgファイル入手。
  • 他OSの場合、alloy4.jar を入手。

チュートリアル

Tutorial_for_Alloy_Analyzer_4.0 がお薦めらしい。
Alloy_4_Tutorial_Materials というのもあり。

書籍

"Software Abstractions: Logic, Language, and Analysis" は Alloy3 用なので、How_to_Update_the_Book_for_Alloy_4 を参照して訂正が必要。
最終更新:2010年03月16日 22:56
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。