Talk Open Original ↗
Testing and Verifying Smart Contracts: From Theory to Practice
Type
Conference talk
Client
—
Date
2021
Domain
Blockchain
Effort
—
Section
—
Presenter
Josselin Feist
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