A Language-Independent Approach to Smart Contract Verification.

Xiaohong Chen, Daejun Park, Grigore Rosu

Browse the full ISoLA paper archive.