Predicate abstractions for smart contract validation.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastin Uchitel

Browse the full MODELS paper archive.