Контроль того, что все формализованные правила корректности построения артефактов выполнены относится к следующим методам верификации