Baar T., Schulte H. Safety Analysis of Longitunal Motion Controllers during Climb Flight // # 14, 2019
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
Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // # 15, 2019
Staroletov S. Teaching the Discipline "Software Testing and Verification" to Future Programmers // # 21, 2022
Staroletov S. Design and implementation a software for water purification with using automata approach and specification based analysis // # 10, 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
