AlloyAlloy Analyzer 動かしてみた その 1 Alloy Analyzer について軽く文法を調べれたので,試しに動かしてみました. サンプル 問題 A, B, C, D の 4 人は,総務,外務,財務,防衛の 4 つの大臣に重複なく割り振られる.割り振りに関して,以下の情報が得られた... 2020.06.07Alloy形式手法
AlloyAlloy Analyzer チートシート(全体の文法編) 永遠の暫定版.間違ってたらコメント下さい.わからないで書いているところもあるので,ほぼ私のためのメモになっています…(言い訳). 全体像 モジュールヘッダ module hoge から書く.書いているモデルのモジュール名に当たると思われる... 2020.06.07Alloy形式手法
AlloyAlloy Analyzer チートシート(論理式の文法編) Alloy Analyzer を使ってみようと思ってはや数ヶ月,いくつか文献を見たけど無定義で記号が使われたりしていたりでぶん投げ続けていますが,もう日本語で文献を調べるのはやめました. 初歩の初歩は でググるのが一番ですね. ということ... 2020.06.01Alloy形式手法