1. Introduction

2. Parameterized Verification of Synchronous Algorithms

3. Parameterized Verification of Asynchronous Algorithms

5. Modeling

6. Tools: Byzantine Model Checker and SyncTA

7. Towards Verification of Tendermint Consensus

8. Discussions and Related Work