Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol

Hamra Afzaal, Muhammad Imran 0001, Muhammad Umar Janjua, Sarada Prasad Gochhayat. Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol. IEEE Access, 10:8163-8183, 2022. [doi]

Abstract

Abstract is missing.