RUS
ENG
Full version
PEOPLE
Lesovoy Sergey Leonidovich
Publications in Math-Net.Ru
Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
Proceedings of ISP RAS
,
30
:3 (2018),
31–46
©
Steklov Math. Inst. of RAS
, 2026
