Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol[J] COMPUTER COMMUNICATIONS 2022(192) Afzaal, Hamra Imran, Muhammad Janjua, Muhammad Umar
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
