How do you prove your GenServer really behaves the way you think it does? Arne Stoll & @anne_bieneiusa's Code BEAM Europe 2025 talk introduces TLA+ to verify GenServer semantics. The video is now public! Watch here: youtu.be/xiuqKIFqx04 #Erlang