Putro Pavel Andreyevich

Publications in Math-Net.Ru

1. Architecture of a machine code deductive verification system
   
   Proceedings of ISP RAS, 32:3 (2020),  7–19
2. Applying high-level function loop invariants for machine code deductive verification
   
   Proceedings of ISP RAS, 31:3 (2019),  123–134
3. Combining ACSL specifications and machine code
   
   Proceedings of ISP RAS, 30:4 (2018),  95–106