Arne Stoll is a developer and student with a strong focus on distributed systems, particularly those running on the BEAM VM. As part of his master’s thesis, he explored how TLA+ can be used to model and reason about the behavior of Erlang’s GenServer.
He’s passionate about formal methods and distributed systems and showing how tools like TLA+ can help developers reason clearly about the correctness of their systems.
Ever wondered how Erlang’s GenServer really works under the hood - and how you can be sure it behaves correctly? This talk introduces TLA+, a powerful tool for modeling and thinking through complex system behaviors, and shows how it can be used to understand and verify the GenServer semantics.
Whether you’re new to formal methods or just curious about making your systems more robust, you’ll leave with a fresh way to look at your systems.
Key Takeaways:
Target Audience: