Formal Modeling and Verification of ERC Smart Contracts: Application to NFT.

Rim Ben Fekih Mariam Lahami Mohamed Jmaiel Salma Bradai

Published in: ISCC (2023)

Keyphrases

modeling language
data sets
image processing
website
artificial neural networks
knowledge representation
supply chain
face verification
formal analysis