Sign in
Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol.
Hamra Afzaal
Muhammad Imran
Muhammad Umar Janjua
Published in:
Comput. Commun. (2022)
Keyphrases
</>
formal verification
coloured petri nets
model checker
model checking
automated verification
cryptographic protocols
bounded model checking
symbolic model checking
functional verification
trust model
formal specification
wireless sensor networks
lightweight
formal methods
crowd sourced