|
|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
| 1. |
I. V. Gladyshev, A. S. Kamkin, A. M. Kotsynyak, P. A. Putro, A. V. Khoroshilov, “Architecture of a machine code deductive verification system”, Proceedings of ISP RAS, 32:3 (2020), 7–19  |
|
2019 |
| 2. |
P. A. Putro, “Applying high-level function loop invariants for machine code deductive verification”, Proceedings of ISP RAS, 31:3 (2019), 123–134  |
1
|
|
2018 |
| 3. |
P. A. Putro, “Combining ACSL specifications and machine code”, Proceedings of ISP RAS, 30:4 (2018), 95–106 |
|
| Organisations |
|
|
Contact us: