Modeling and verification of smart contracts with Abstract State Machines.

Chiara Braghin, Elvinia Riccobene, Simone Valentini

Browse the full SAC paper archive.