Who killed Aunt Agatha? Event-Bのハンドブックを読み進めているのだが、アガサパズルというチュートリアルが2.6章にある。 Someone in Dreadsbury Mansion killed Aunt Agatha. Agatha, the butler, and Charles live in Dreadsbury Mansion and are the o…

数学記号をEvent-Bで入力するためのASCII表記一覧表。 記号論理における記号 記号 LaTex 英語 ASCII表記 意味 補足 \top False true 真 \bot True false 偽 \wedge Conjunction & 論理積または連言 (PかつQ) \vee Disjunction or 論理和または選言 (PまたはQ…

2月にEvent-Bを解説した書籍が出ると以前書きましたが、 アマゾンを覗いたら登録されていました。 Event-B: リファインメント・モデリングに基づく形式手法作者: 中島震,來間啓伸出版社/メーカー: 近代科学社発売日: 2015/02/26メディア: ムックこの商品を含…

EclipseベースのRodinという開発環境を使って検証をする定理証明系のツールである。 日本語で詳しい解説があるのは以下のサイトだが、この記事を書いた時点では更新が止まっている。 Event-B - 形式手法 Event-B 形式手法そのものについては以下のサイトに形…

Event-Bとは形式手法の１つ。Bメソッドと呼ばれるものがベースになっている。 Event-Bの本が出版 仕事がら形式手法について興味があるのだが、Event-Bは今まで日本語で書籍が出ていない。これはちょっと気になる。 Event-Bについて日本語で比較的まとまった…