Behavioral simulation for smart contracts.

Sidi Mohamed Beillahi Gabriela F. Ciocarlie Michael Emmi Constantin Enea

Published in: PLDI (2020)

Keyphrases

database
neural network
simulation model
simulation models
numerical simulations
real time
three dimensional
image sequences
multiscale
simulation study