SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper).

Namrata Jain Kosuke Kaneko Subodh Sharma

Published in: SEFM (2022)

Keyphrases

analysis tool
multiscale
supply chain
data sets
social networks
three dimensional
high level
expert systems
probabilistic model
dynamic environments