Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework.

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Browse the full CAV paper archive.