Formal Analysis of Smart Contracts: Model Impact Factor on Criminality.

Malaw Ndiaye Karim Konaté

Published in: BLOCKCHAIN (2021)

Keyphrases

formal analysis
high level
computational model
formal model
influence factors
natural language
cost function
probabilistic model
parameter estimation
statistical model
experimental data
agent model
machine learning
artificial intelligence
artificial neural networks