Research Article

Formal Modelling of PBFT Consensus Algorithm in Event-B

Figure 6

Model Development.