Formal Simulation and Verification of Solidity contracts in Event-B. - Jian Zhu; Kai Hu 004; Mamoun Filali; Jean-Paul Bodeveix; Jean-Pierre Talpin; Haitao Cao 005 (COMPSAC, 2021)