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
Shelekhov V. Deductive verification and optimization of the predicate program for string concatenation // # 12, 2018
Kondratyev D., Promsky A. Towards automated error localization in C programs with loops // # 14, 2019
Chernenko I. Pattern-based approach to automation of deductive verification of process-oriented programs // # 25, 2024
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
Ishchenko A. Enhancing Verification Condition Generation for Reflex Programs Through Simple Static Analysis // # 25, 2024
Chernenko I. Requirements patterns in deductive verification of process-oriented programs and examples of their use // # 22, 2023
