Kotsynyak Artyom Mikhailovich

Publications in Math-Net.Ru

1. System for static analysis of SystemVerilog HDL
   
   Proceedings of ISP RAS, 37:1 (2025),  7–40
2. Architecture of a machine code deductive verification system
   
   Proceedings of ISP RAS, 32:3 (2020),  7–19
3. MicroTESK-based test program generator for the ARMv8 architecture
   
   Proceedings of ISP RAS, 28:6 (2016),  87–102
4. Specification-based test program generation for MIPS64 memory management units
   
   Proceedings of ISP RAS, 28:4 (2016),  99–114