Malt invites you to their event

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

About this event

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

Malt

Malt is the leading end-to-end marketplace where companies and organizations find the right freelance talents #TheNewWorkOrder
https://www.malt.com/