Bメソッド
Bメソッド(B-Method)
集合論
と
述語論理
を用いて仕様記述を行う
クリプキ構造
に関係がある？
Event-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 - Rigorous Open Development Environment for Complex Systems
ProB
ProB Animator and Model Checker
jbtools
B-Method 用パーサおよびエディタ
JBTools: an experimental platform for the formal B method.
参考
B-Method - Wikipedia(日)
B-Method - Wikipedia(英)
#形式手法