Sign in

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

Namrata JainKosuke KanekoSubodh 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