# Empowering Everyone: Taking Specialization Out Of Formal Methods | Daniel Cumming | ETHTaipei 2025

- Channel: [ETHTaipei](https://streameth.org/ethtaipei)
- Date: 2025-10-07
- Duration: 23:32
- Watch: https://streameth.org/watch/yt-Av3AD3EqFio
- YouTube: https://www.youtube.com/watch?v=Av3AD3EqFio

## Description

Empowering Everyone: Taking Specialization Out Of Formal Methods | Daniel Cumming, Runtime Verification Inc. | ETHTaipei 2025