Watch recording
Talk type: Talk
Room 3
Application of TLA+ for Efficient Testing of Distributed Systems
Nikita Siniachenko
Company: VK
Evgenii Chernatskiy
Company: VK
Nikita Siniachenko
Company: VK
Studied at ITMO for 4 years. Worked for over a year in Yandex Cloud. Wrote a diploma on verification of the log replication algorithm. Now he is working in VK, implementing this diploma.