Formal analysis of smart contracts: Model impact factor on criminality
M Ndiaye, K Konaté - International Congress on Blockchain and …, 2021 - Springer
Smart contracts certainly provide a powerful functional surplus for maintaining the
consistency of transactions in applications governed by blockchain technology. However …
consistency of transactions in applications governed by blockchain technology. However …