Solvent: Liquidity Verification of Smart Contracts.

Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone

Browse the full IFM paper archive.