Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols[J] IEEE ACCESS 2022(10) Verma, Sudhani Yadav, Divakar Chandra, Girish
