## Rodin HandbookThis work is sponsored by the Deploy Project This work is sponsored by the ADVANCE Project This work is licensed under a Creative Commons Attribution 3.0 Unported License |
## 4.1.3 What is the difference between Event-B and the B method?Event-B (2.2.4) is derived from the B method. Both notations have the same inventor, and share many common concepts (set-theory, refinement, proof obligations, etc.). However, they are used for quite different purposes. The B method is devoted to the development of Event-B and the B method use mathematical languages which are similar but do not match exactly (in particular, operator precedences are different). |