Finding smart contract vulnerabilities with ConCert's property-based testing framework
Authors: Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov and Bas Spitters
Paper Information
| Title: | Finding smart contract vulnerabilities with ConCert's property-based testing framework |
| Authors: | Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov and Bas Spitters |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | Smart Contracts, Formal Verification, Property-Based Testing, Coq |
| Pages: | 13 |
| Talk: | Aug 11 11:00 (Session 125D: Formal Methods for Smart Contracts) |
| Paper: |  |