Kornykhin Evgenii Valer'evich

Publications in Math-Net.Ru

1. Runtime verification of operating systems based on abstract models
   
   Proceedings of ISP RAS, 33:6 (2021),  15–26
2. Monitoring and testing based on multi-level program specifications
   
   Proceedings of ISP RAS, 32:6 (2020),  7–18
3. Python-based constraint language for architecture models
   
   Proceedings of ISP RAS, 27:5 (2015),  143–156
4. Test data generation for core-level verification of FIFO cache memory
   
   Num. Meth. Prog., 10:2 (2009),  107–116