Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol

Hamra Afzaal, Muhammad Imran 0001, Muhammad Umar Janjua. Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol. Computer Communications, 192:384-401, 2022. [doi]

Abstract

Abstract is missing.