Для фінітної ітерації над структурами даних запропоновано символічний метод верифікації. Він базується на додаванні в мову специфікацій операції заміни. Метод включає правило виводу для цієї ітерації, але не використовує інваріанти, а також принципи індукції для доведення умов коректності, що містять операцію заміни. Метод узагальнено на фінітні ітерації над ієрархічними структурами даних.

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