Blockchain verification and validation: Techniques, challenges, and research directions.

Dusica Marijan Chhagan Lal

Published in: Comput. Sci. Rev. (2022)

Keyphrases

lessons learned
real world
key issues
formal methods
open issues
digital libraries
open questions
neural network
bayesian networks
technical challenges
computational challenges
verification method
concurrent systems