Jian Zhu, Kai Hu 0004, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao. Formal Simulation and Verification of Solidity contracts in Event-B. In IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021, Madrid, Spain, July 12-16, 2021. pages 1309-1314, IEEE, 2021. [doi]
Abstract is missing.