RUS
ENG
Full version
PEOPLE
Protsenko A S
Publications in Math-Net.Ru
MicroTESK-based test program generator for the ARMv8 architecture
Proceedings of ISP RAS
,
28
:6 (2016),
87–102
An approach to test program generation based on formal specifications of caching and address translation mechanisms
Proceedings of ISP RAS
,
27
:3 (2015),
125–138
©
Steklov Math. Inst. of RAS
, 2024