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

. The model verification is performed by giving the formal model and the properties as input to the Process Analysis Toolkit which checks for the satisfaction or violation of the properties.