Hoare logic

Хоаровская логика (формализм для частичного доказательства правильности программ)

Источник: Полный англо-русский словарь на Gufo.me