Могу расшифровать эти слова в описании - "устойчивый к ошибкам".
Помимо стандартного для Оберона контроля за целостностью памяти, по возможности диагностируются другие ошибки: арифметическое переполнение целых и дробей, переполнение множеств, использование неинициализированных переменных, частичная проверка FOR и WHILE, правильность вызова встроенных процедур. Часть диагностируется во время трансляции. Переполнение при смене знака целого невозможно, что в ряде случаев упрощает логику и о чём на практике часто забывают.