about-me variable
Malt invites you to their event

Leverage the power of the First Order... Logic: Introduction to TLA+

About this webinar

When designing a program, it is very difficult to assess if your implementation is correct, especially for distributed systems.

I'll show how to use the powerful first order logic and TLA+ to automatically check your ideas' correctness.

Hosted by

  • Guest speaker
    G
    Thomas Bracher Senior Engineer @ Freelance

  • Team member
    T
    Clémentine Lamoine Freelance Community Manager @ MALT

    Responsable Communauté Freelance Lyon