Churkin Yan Andreevich

Publications in Math-Net.Ru

1. Survey of application program interface migration methods for object-oriented languages
   
   Proceedings of ISP RAS, 37:4(1) (2025),  111–146
2. System for static analysis of SystemVerilog HDL
   
   Proceedings of ISP RAS, 37:1 (2025),  7–40
3. Checking programs for compliance with MISRA C standard using the clang framework
   
   Proceedings of ISP RAS, 35:5 (2023),  169–192