2011-10-26から1日間の記事一覧
今日は「実行トレース」について。 モデルの不都合な状態だけでなく、どのような手順でその状態に到達し得るかというのを解析 fact で traces という制約を追加 first, next というキーワードが出てくる 今朝は割り込みがあってこれでおしまい。明日第2章を…
今日は「実行トレース」について。 モデルの不都合な状態だけでなく、どのような手順でその状態に到達し得るかというのを解析 fact で traces という制約を追加 first, next というキーワードが出てくる 今朝は割り込みがあってこれでおしまい。明日第2章を…