This is a preview of subscription content, log in via an institution to check access.
Literature Cited
V. S. Kostyrko, “On a methodology of program correctness proving,” Kibernetika, No. 1, 50–58 (1978).
G. Myers, The Art of Software Testing, Wiley, NY (1979).
Ya. Ya. Bichevskii and Yu. V. Borzov, Testing Computer Programs [in Russian], VTs LGU, Riga (1985).
E. Yourdan, Techniques of Program Structure and Design, Prentice Hall, Englewood Cliffs, NJ (1975).
V. V. Lipaev, Software Quality [in Russian], Finansy i Statistika, Moscow (1983).
Yu. V. Borzov, “Program testing using symbolic execution,” Programmirovanie, No. 1, 51–59 (1980).
V. S. Kostyrko, “On tools for proving program correctness in the language ANALITIK,” Kibernetika, No. 4, 142–144 (1978).
S. S. Mavrov, “Methods of semantics definition of programming languages,” Programmirovanie, No. 6, 3–10 (1978).
V. S. Kostyrko and A. V. Bakulin, “On inductive synthesis of invariant assertions and functions of programs,” Kibernetika, No. 1, 18–24 (1986).
R. Anderson, Proving Programs Correct, Wiley, NY (1979).
A. A. Letichevskii and V. S. Kostyrko, “Using the MIR-2 computer for program analysis,” Kibernetika, No. 6, 31–39 (1974).
J. Simons, Fifth-Generation Computers: Computers of the 1990s [Russian translation], Finansy i Statistika, Moscow (1985).
V. S. Kostyrko and Yu. A. Rybalko, “Some features of an expert system for program debugging,” in: Topics in Improvement of Program Synthesis, Testing, Verification, and Debugging, abstracts of papers [in Russian], All-Union Sci. Conf. (Riga, 1986), Part 1, LGU, Riga (1986), pp. 182–183.
Additional information
Translated from Kibernetika, No. 4, pp. 71–78, July–August, 1988.
Rights and permissions
About this article
Cite this article
Kostyrko, V.S. Relationship of program correctness checking methods. Cybern Syst Anal 24, 472–481 (1988). https://doi.org/10.1007/BF01070588
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01070588