Behavioral simulation for smart contracts.

Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea

Browse the full PLDI paper archive.