(ДВНЗ «Київський національний університет імені Вадима Гетьмана», 2013-04-24) Бєгун, Анатолій Володимирович
Стаття присвячена аналізу розвитку засобів безпеки програмних систем. Основну увагу приділено перевірки програмних продуктів методом статичного аналізу, який дозволяє розпізнавати властивості обчислень програм без проведення тестових експериментів.