There is a newer version of the record available.

Published August 1, 2021 | Version v1
Dataset Open

sVerify experiment result

Authors/Creators

  • 1. SUTD

Description

sVerify experiment summary file and real-word 7 test contracts which contains some assertions inserted manually.

Files

Files (92.0 kB)

Name Size Download all
md5:e9903dca5d054487b73617f16d410c23
92.0 kB Download