Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event-B Read more about Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event-B