VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.

Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh

Browse the full SP paper archive.