Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol.
Hamra AfzaalMuhammad ImranMuhammad Umar JanjuaSarada Prasad GochhayatPublished in: IEEE Access (2022)
Keyphrases
- formal analysis
- cryptographic protocols
- colored petri nets
- formal methods
- formal proof
- formal models
- coloured petri nets
- model checking
- modeling language
- modeling method
- routing protocol
- lightweight
- communication protocol
- multi agent
- information retrieval
- neural network
- network protocols
- data sets
- protocol specification
- real time