Verification of programs: status, problems and experimental results. II

A.N. Maksymets

Abstract


Prombles in programming 2014; 1: 76-89

References


Максимец А.Н. Верификация программ: состояние, проблемы, экспериментальные результаты I // Проблеми програмування. – 2013. – № 4. – С. 53–63.

Летичевский А.А. Эквивалентность и оптимизация программ // Труды междунар. симпозиума по теоретическому программированию. – Новосибирск. – 1972. – С. 166–180.

Kam J.B., Ullman D.J. Monotone data flow analysis frame works // Acta Inform. – 1978. – N 3. – P. 305–318.

Годлевский А.Б., Капитонова Ю.В., Кривой С.Л., Летичевский А.А. Итеративные методы анализа программ // Кибернетика. – 1989. – № 2. – C. 9–19.

Летичевский А.А. Об одном подходе к анализу программ // Кибернетика. – 1979. – № 6. – C. 1–8.

Годлевский А.Б., Капитонова Ю.В., Кривой С.Л., Летичевский А.А. Итеративные методы анализа программ. Равенства и неравенства // Кибернетика. – 1990. – № 3. – С. 1–9.

Maksymets O.M. Upper approximation method for polynomial invariants Theoretical and Applied Aspects of Cybernetics // Proceedings of the 2nd International Scientific Conference of Students and Young Scientists. Computer Science Section. – Kyiv: Bukrek. –

– P. 45–47.


Refbacks

  • There are currently no refbacks.