Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№4
Publication date:
09 September 2024
A.G. Zykov
Ph.D (zykov_a_g@mail.ru)
The National Research University of Information Technologies, Mechanics and Optics
Author in:
- KLEE for automatic testing programs in C/C++ Co-authors: I.V. Kochetkov, V.I. Polyakov
- Program synthesizing based on a graph-analytic model description Co-authors: I.V. Kochetkov, V.I. Polyakov, E.G. Chistikov
- Automation of program verification using graph analytical models of a computational process Co-authors: V.I. Polyakov, Ya.S. Golovanev