Formal Simulation and Verification of Solidity contracts in Event-B.

Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao

Browse the full COMPSAC paper archive.