Защита программ


[1] H. Le Verge. A note on Chernikova's Algorithm. July 27, 1994.
[2] P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages , POPL'78 , Tucon (Arizona), January 1978.
[3] N. Halbwacht, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design , 11(2):157-185, 1997.
[4] Бирюков С.И. Оптимизация. Элементы теории. Численные методы. МЗ-Пресс, 2003.

Содержание  Назад