# The Symbolic Solidity Debugger

- Speakers: [Raoul
Schaffranek](https://streameth.org/speakers/raoul-schaffranek)
- Event: [Secureum TrustX](https://streameth.org/secureum/secureum_trustx), Main Stage Secureum TrustX Istanbul
- Channel: [Secureum](https://streameth.org/secureum)
- Date: 2023-11-14
- Duration: 15:53
- Watch: https://streameth.org/watch/65b8f8d5a5b2d09b88ec17dc
- Download: https://vod-cdn.lp-playback.studio/raw/jxf4iblf6wlsyor6526t4tcmtmqa/catalyst-vod-com/hls/c768mv09hy4j61sd/1080p0.mp4

## About the speakers

### Raoul
Schaffranek

FV Engineer
Runtime Verification