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.
Responsable Communauté Freelance Lyon
Share this event