Ziborov Kirill Viktorovich

Publications in Math-Net.Ru

1. VeHa-2024 formal verification contest: two years of experience and prospects
   
   Proceedings of ISP RAS, 37:1 (2025),  159–184
2. InnoChain: a distributed ledger for industry with formal verification on all implementation levels
   
   Model. Anal. Inform. Sist., 27:4 (2020),  454–471