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: