Всего существует три команды контроля: утв, дано, надо.

Формат вызова:
утв <ЛОГ ВЫРАЖЕНИЕ>
дано <ЛОГ ВЫРАЖЕНИЕ>
надо <ЛОГ ВЫРАЖЕНИЕ>

Все три команды выполняются так. Проверяется условие. Если условие не соблюдается (равно нет), то КуМир прекращает выполнение алгоритма и сообщает, что возник отказ. Если же условие соблюдается, то выполнение алгоритма нормально продолжается так, как если бы команды контроля не было вовсе.

Команда дано проверяет условие в начале выполнения алгоритма, команда надо - в конце выполнения алгоритма, а командой утв можно проверить условие в процессе выполнения алгоритма.

Пример 1:
алг абс (рез вещ х)
дано х<=0
надо х>=0
нач
если х<0
то х:=-х
все
кон

Пример 2:
алг вещ кв (вещ х)
нач
вещ к
к := х*х
утв к>=0
знач := к
кон