Bメソッド
Bメソッド(B-Method)
集合論
と
述語論理
を用いて仕様記述を行う
クリプキ構造
に関係がある？
Event-B
がかろうじて生き残っている？
Atelier BのサイトにBメソッド関連の用語が載っている
B and its different languages - Atelier B
Atelier B ツール
The industrial tool to efficiently deploy the B method - Atelier B
B-Core (UK) Ltd
Site B Grenoble
B4free
フリーツール
ABTOOLS
フリーなB-Methodツール
Rodin
Event-B
オープンソースプラットフォーム
Rodin Platform
ProB
ProB Animator and Model Checker
The ProB Animator and Model Checker - ProB Documentation
jbtools
B-Method 用パーサおよびエディタ
JBTools: an experimental platform for the formal B method.
参考
B-Method - Wikipedia(日)
B-Method - Wikipedia(英)
メモ
B method - CLEARSY
#形式手法