Термины и определения в области гражданской обороны, чрезвычайных ситуаций, пожарной и промышленной безопасности
Неформальная верификация
Методы верификации, не использующие полуформальные или формальные средства верификации.
Пример: Критический обзор проекта; анализ модели.
•
ГОСТ Р ИСО 26262-1-2014 «Дорожные транспортные средства. Функциональная безопасность. Часть 1. Термины и определения»