References
A. B. Godlevskii, Yu. V. Kapitonova, S. L. Kryvoi, and A. A. Letichevskii, “Iterative methods of program analysis,” Kibernetika, No. 2, 10–19 (1989).
A. B. Godlevskii, Yu. V. Kapitonova, S. L. Krivoi, and A. A. Letichevskii, “Iterative methods of program analysis: Equalities and inequalities,” Kibernetika, No. 3, 1–10 (1990).
A. Kostanyan, “Peculiarities of searching for invariants in programs with arrays,” in: Proc. Conf. Comput. Sci. & Inform. Technol., Yerevan (1997), pp. 34–36.
Yu. V. Kapitonova and A. A. Letichevskii, Mathematical Theory of Computer System Design [in Russian], Nauka, Moscow (1988).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 14–33, March–April, 1999.
Rights and permissions
About this article
Cite this article
Kostanyan, A.G. Heuristic search for invariants for one class of programs. Cybern Syst Anal 35, 184–199 (1999). https://doi.org/10.1007/BF02733467
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02733467