Published September 3, 2021
| Version v1
Software
Open
Rich Specifications for Ethereum Smart Contract Verification (Artifact)
Authors/Creators
- 1. ETH Zurich
- 2. The University of British Columbia
Description
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Contract Verification".
The artifact comes in the form of a VirtualBox VM image (2vyper-artifact.ova). Instructions for running the VM image and using the artifact can be found in the README.