sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning.

Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang

Browse the full ISoLA paper archive.