2 ms·Formal Verification of Multiple Interacting Smart Contracts with VeriSolid [pdf]1 points by CryptoPunk 7y ago