Wireless Communications and Mobile Computing

Research Article

Formal Modelling of PBFT Consensus Algorithm in Event-B

Listing 10

Invariant of M0.
 @inv1 n∈ℕ
 @inv2 view∈NODES→NODES