А представьте, нас интересует то же самое! ;)

Поюс ещё самое интересное - когнитивная эргономика.
Потому что труд человеческого разума очень дорог, и использовать его надо максимально эффективно!

Если на обероновских форумах и нет обсуждения вопросов верификации, то, вероятно, потому, что для многих участников использование контрактов и инвариантов считается само собой разумеющимся. Тем более, что лучше не делать ошибок, чем упорно их потом искать ;)

К сожалению, в оглавлении Вашего учебника этих вопросов также не видно...

В любом случае, в обучении акцент следует делать на правильное проектирование.

Предупреждение ошибок достигается:
- адекватной методологией;
- эргономичным инструментом;
- правильной организацией труда.

Эргономичный инструмент - такой инструмент, который не вводит излишней сложности и тем самым не провоцирует человека на ошибки.

Язык программирования следует понимать в более общем смысле, чем упомянутые Вами текстовые языки Алгол, Алгол-68, Ада, PL/I, JAVA.
Так, для проектирования электрических схем наиболее адекватным будет язык "схема электрическая принципиальная", для динамических систем - FBD (function block diagram), для отдельных специфических применений - текстовый псевдокод.
При этом важна не только семантика языка, но и качество инструментального ПО (среды разработки). В совокупности они составляют Инструмент.

Но, вообще-то, это другая, большая тема ;)