Udemy Special: Ends May 28!
Learn Data Science. Courses starting at $12.99.
Get Deal
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.
