Описано підхід до аналізу програмних комплексів, що грунтується на методах символьної обробки інформації. Його особливістю є застосування формального аналізу не до обчислювальної семантики програмних систем (ПС), а до окремих характеристик, що не зв'язані прямо з формально, семантикою. Це дозволяє уникнути складнощів повної формалізації задачі та робити прагматично корисні висновки щодо характеристик ПС (такі, як наявність помилок визначеного класу) за допомогою порівняльно невеликого обсягу обчислень. Описано статичний аналізатор програм на мові Java (JavaCheker), розроблений у ООО Град-Софт, що реалізує даний підхід і побудований у середовищі алгебраїчного програмування Term Ware.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"