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

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