V. S. Kostyrko

Inductive synthesis of invariant assertions and program functions

V. S. Kostyrko, A. V. Bakulin, 1986 .

Methods of proving the correctness of programs in ANALITIK

V. S. Kostyrko, 1978 .

Use of the MIR-2 computer for program analysis

V. S. Kostyrko, A. A. Letichevskii, 1974 .

A method for proving the correctness of programs

V. S. Kostyrko, 1978 .