|
|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
| 1. |
D. V. Efremov, V. V. Kopach, V. V. Kulyamin, E. V. Kornykhin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Runtime verification of operating systems based on abstract models”, Proceedings of ISP RAS, 33:6 (2021), 15–26  |
1
|
|
2020 |
| 2. |
A. K. Petrenko, D. V. Efremov, E. V. Kornykhin, V. V. Kuliamin, A. V. Khoroshilov, I. V. Shchepetkov, “Monitoring and testing based on multi-level program specifications”, Proceedings of ISP RAS, 32:6 (2020), 7–18 |
1
|
|
2017 |
| 3. |
D. V. Efremov, M. U. Mandrykin, “Formal verification of Linux kernel library functions”, Proceedings of ISP RAS, 29:6 (2017), 49–76  |
2
|
|
| Organisations |
|
|
Contact us: