Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
