Watch recording
Talk type: Talk
Room 3
Application of TLA+ for Efficient Testing of Distributed Systems
Nikita Siniachenko
Company: VK
Evgenii Chernatskiy
Company: VK
Evgenii Chernatskiy
Company: VK
Graduated in 2023 with a bachelor's degree from ITMO. As his thesis he used the TLA+ specification language to verify and test the consensus algorithm used in VK. At the moment, he is continuing to develop his thesis topic as an employee of VK.