SAFEVM: a safety verifier for Ethereum smart contracts.

Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio

Browse the full ISSTA paper archive.