Shelekhov V. Deductive verification of predicate program of binary search of an arbitrary type object // # 15, 2019
Shelekhov V. Verification of a predicate heapsort program using inverse transformations // # 16, 2020
Kasyanov V., Kasyanova E. Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // # 19, 2021
Bulgakov K., Kablukov I., Tumurov E., Shelekhov V. Optimizing transformations for operations on lists and trees in the predicate programming system // # 9, 2017
Kablukov I., Shelekhov V. Development of the parallel predicate program for solving leaner equations by the Gauss-Jordan method // # 12, 2018
Kablukov I., Shelekhov V. Optimizing transformations in the predicate programming system // # 11, 2017
Shelekhov V. Comparison of automata-based engineering method and Event-B modeling method // # 18, 2021
Shelekhov V. Transformation and verification of the OS program sorting devices in a computer bus // # 18, 2021
Tumurov E., Shelekhov V. Transformation, specification, and verification of the program calculating the elements number of a set presented by a bit vector // # 16, 2020
