Modeling and Verification of Solidity Smart Contracts with the B Method.

Fayal Baba, Amel Mammar, Marc Frappier, Rgine Laleau

Browse the full ICECCS paper archive.