Верификация отвечает на вопрос, правильно ли создана система:
Инспектирование программ не требует их исполнения:
Инспектор находит ошибки, упущения и противоречия в программах:
Модернизировать ненадежную систему нелегко:
Ненадежные системы могут быть причиной потери информации:
Ненадежные системы часто остаются невостребованными:
Простые методы отладки не существуют:
Тестирование отыскивает ошибки в программах:
