Spec-Zone.ru › Ada 2022 Справочник по Ada (Ada 2022) H.3 Проверяемый объектный код Обзор и проверка объектного кода поддерживаются директивами Reviewable и Inspection_Point.