Formally Verifying a Router's Core Lifecycle

This talk is confirmed. The time of the talk will be announced soon.

The recording will be published after editing. Multipass and Full ticket holders have early access.

Video transcription, chapters and summary will be available later.