Путро Павел Андреевич

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

1. Архитектура системы дедуктивной верификации машинного кода
   
   Труды ИСП РАН, 32:3 (2020),  7–19
2. Applying high-level function loop invariants for machine code deductive verification
   
   Труды ИСП РАН, 31:3 (2019),  123–134
3. Combining ACSL specifications and machine code
   
   Труды ИСП РАН, 30:4 (2018),  95–106