fm-forum @ ウィキ
fm-forum @ ウィキ

Alloy

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 を参照して訂正が必要。

タグ：

+ タグ編集
  • タグ：

このサイトはreCAPTCHAによって保護されており、Googleの プライバシーポリシー と 利用規約 が適用されます。

タグの更新に失敗しました
エラーが発生しました。ページを更新してください。
ページを更新
「Alloy」をウィキ内検索
最終更新：2010年03月16日 22:56
ツールボックス

下から選んでください:

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