Shoshmina Irina Vladimirovna

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. VeHa-2023 formal verification contest: the experience
   
   Proceedings of ISP RAS, 36:2 (2024),  141–168
3. Distributed embedded control systems design with verification support
   
   Model. Anal. Inform. Sist., 17:4 (2010),  125–136