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.
Malt is the leading end-to-end marketplace where companies and organizations find the right freelance talents #TheNewWorkOrder
https://www.malt.com/