Средства и методы разработки

Никак и незачем. Как из модели корабля, прошедшей испытание в бассейне, сделать большой корабль? Всё переделать настоящими инструментами из настоящих материалов и с настоящими размерами. Верифицируется только модель, разумеется. Но если большая программа ей подобна, то в основном наследует её свойства. Удобно использовать для проверки алгоритмов, что сам алгоритм в себе не содержит логических ошибок. С ошибками в C++ никакой связи нет вообще.