Часто полезно поручить проверку истинности предикатов в процессе выполнения программы:
Что позволяет реализовать проверку истинности предикатов в процессе выполнения программы в языке Java:
Проверка истинности предикатов в процессе выполнения программы в различных языках программирования реализована:
Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:
Описание последовательности действий, достаточно определенное для того, чтобы ее можно было выполнить при помощи некоторого автоматического устройства называют:
Прямое произведение множеств состояний всех переменных программы - это:
Нечто препятствующее продолжению нормального выполнения программы:
При построении инварианта с помощью метода устранения конъюнктивного члена истинность инварианта перед началом выполнения цикла легко устанавливается присваиванием:
Какой из операторов цикла языка Java применяется, если выполнение тела цикла хотя бы раз обязательно:
Какой из операторов цикла языка Java обычно используют в ситуации, когда тело цикла нужно выполнить нуль или более раз: