Vasil Dyadov

According to our database, Vasil Dyadov authored at least 2 papers in 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Identifying Design Flaws in a Lock-Free Task Pool with TLA+.

Vasil Dyadov, Alexander Kogtenkov, Ilya Shchepetkov

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education.

Sergey M. Staroletov, Dmitry A. Kondratyev, Vladimir I. Shelekhov, Alexander Kogtenkov, Nikolay V. Shilov, Natalia Olegovna Garanina, Irina V. Shoshmina, Timofey Cherganov, Vasil Dyadov

Proceedings of the Formal Methods Teaching - 7th Formal Methods Teaching Workshop, 2026