Kotsynyak Artyom Mikhailovich

Publications in Math-Net.Ru

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