2020-11

Alloy で形式手法を始めてみた！～関係式の多重度編～ 関係式とは？ シグネチャ同士のつながり関係を表す条件式を関係式といいます． これもある種のフィールドとして扱います． フィールドについてはこちらで説明しています． 多項関係 シグネチ...

Alloy で形式手法を始めてみた！～シグネチャ編～ Signature とは？ Signature（シグネチャ）はオブジェクト指向プログラミングでいうオブジェクトに相当します．人や状態，DB のレコード，ファイルなど，モノを表すための基本...

Alloy で形式手法を始めてみた！～導入編～ Alloy とは Alloy は構造の記述とその探索のためのツール．例えば，セキュリティホールの発見や，定義されたネットワークトポロジーの中で起こりうる構造の列挙するなど，定義を書いてその例を...