The main components of B-method
The main components of B-method
- First-order logic (similar to Z);
- Set theory (similar to Z);
- Integer arithmetics (similar to Z);
- Generalized substitutions (specific of B).
from Tutorial: Software Engineering with the B-Method
http://www.consiste.dimap.ufrn.br/~david/files/sbmf05-tutorialb.pdf