Введено фінітні ітерації (ФІ) над наборами змінюваних структур даних, що зводяться до стандартних ФІ, для розширення області застосування символічного методу верифікації. Запропонована редукція поширюється на ФІ, до яких входить оператор завершення. Це узагальнення символічного методу дозволяє застосувати його для верифікації програм над покажчиками.

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