Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol[J] IEEE ACCESS 2022(10) Afzaal, Hamra Imran, Muhammad Janjua, Muhammad Umar Gochhayat, Sarada Prasad
