research
∙
08/29/2019
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
We present VeriSmart, a highly precise verifier for ensuring arithmetic ...
research
∙
02/21/2017