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

Sunbeom So Myungho Lee Jisu Park Heejo Lee Hakjoo Oh

Published in: CoRR (2019)

Keyphrases

supply chain
information technology
real time
information systems
video sequences
highly accurate
smart environments
road safety