Event-B
Bメソッド
にイベントの概念を入れたもの？
モデル検査
時相論理
線形時相論理 (LTL)
計算木論理 (CTL)
公式サイト:
Event-B.org
Rodin Platform
というのを使うと実際に使えるらしい
Using The Event-B Method For Critical Systems | by Bouwe Ceunen | Axons | Medium
確認用
Q. Event-B
参考
/pogi-log/Google.icon
Event-B
/pogi-log/Wikipedia.icon
Event-B - Wikipedia(日)
Event-B(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
B-Method#Event-B - Wikipedia(英)
関連
#Fleeting_Notes
#形式手法