Event-B
Event-Bは、ベースとなる集合論や
リファインメント
の考え方は、
Classical B
を継承するが、記述の単位をイベントとした。 ref
『形式手法入門』.icon
p.201