Smart Contracts Vulnerability Auditing with Multi-semantics.

Zhen Yang Jacky Keung Miao Zhang Yan Xiao Yangyang Huang Tik Hui

Published in: COMPSAC (2020)

Keyphrases

formal semantics
supply chain
logic programming
smart grid
database
neural network
genetic algorithm
social networks
multi agent
object oriented
logic programs
context aware
semantic information
conceptual model
statistical databases
operational semantics