Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
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.
