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