Talk Open Original ↗
Property-testing of smart contracts
Type
Conference talk
Client
—
Date
2018
Domain
Blockchain
Effort
—
Section
—
Presenter
JP Smith
Related
- 2025-11 After Wiretap and Battering RAM: What Changes for TEE-Based Blockchain Infrastructure Webinar
- 2025 Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software Talk
- 2025 Mutation Testing with Slither: A New Way to Find High-Severity Issues Talk
- 2025 Slither's Model Context Protocol: Giving LLMs Ground Truth from Static Analysis Talk
- 2025 The $1.5B Problem: How Exchanges Can Build Safer Cold Storage Talk
- 2025 How to Become a Smart Contract Auditor Talk