Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
In this 24-minute conference talk from ETHTaipei 2025, Daniel Cumming of Runtime Verification Inc. explores how to democratize formal methods by removing barriers to specialization. Learn about approaches to make formal verification techniques more accessible to developers and non-specialists in the Ethereum ecosystem, potentially improving smart contract security and reliability for the broader community.
