Функции репозитария не включают в себя:
(Отметьте один правильный вариант ответа.)
Варианты ответа
разработка механизмов интероперабельности и взаимодействия для переноса готовых верифицированных продуктов из репозитария в новые распределенные и сетевые среды
разработка всевозможных методов верификации(Верный ответ)
накопление верифицированных спецификаций, методов доказательства, программных объектов и реализаций кодов
разработка стандартных форм для задания и обмена формальными спецификациями разных объектов, инструментов и готовых систем