Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Learn how to develop distributed Elixir systems with formal verification support through a lightweight domain-specific language approach in this 17-minute conference talk from Lambda Days 2025. Explore the challenges of adopting formal methods in industry, including steep learning curves and high modeling costs, while discovering ProtoGen.ex, a high-level DSL and tool that automatically translates distributed protocol definitions into both mCRL2 formal models and Elixir implementations with identical behavior. Examine a practical leader election protocol example that demonstrates how this approach enhances reliability and correctness in distributed system development, bridging the gap between formal verification techniques and real-world Elixir GenServer systems.
