Верификаторы, предназначенные для выявления
определенного класса ошибок в программах, используются при разработке программ
на этапе: