Коцыняк Артём Михайлович

Публикации в базе данных Math-Net.Ru

1. Система статического анализа для языка описания аппаратуры SystemVerilog
   
   Труды ИСП РАН, 37:1 (2025),  7–40
2. Архитектура системы дедуктивной верификации машинного кода
   
   Труды ИСП РАН, 32:3 (2020),  7–19
3. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
   
   Труды ИСП РАН, 28:6 (2016),  87–102
4. Specification-based test program generation for MIPS64 memory management units
   
   Труды ИСП РАН, 28:4 (2016),  99–114