Login / Signup
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