Blockchain, Ethereum, Simulation.
using stochastic simulation, and therefore concluded that symbolic analysis is best used tactically to verify certain aspects of the contract/model or support its understanding. In the following we detail our approach and explain our findings. 1. Weak performance We used a rewriting-based bounded