Login / Signup
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