Триада Хоара
(Отметьте один правильный вариант ответа.)
Варианты ответа
устанавливает корректность программы по отношению к ее предусловию и постусловию(Верный ответ)
устанавливает корректность программы по отношению к ее предусловию
устанавливает корректность программы по отношению к ее постусловию
устанавливает корректность программы безотносительно каких либо условий