Елсуков П.Ю. Принципы верификации информационных моделей и алгоритмов // Образовательные ресурсы и технологии. №2(19). 2017. C.81-86. DOI: 10.21777/2500-2112-2017-2-81-86 https://www.muiv.ru/vestnik/pdf/pp/ot_2017_2_081-086.pdf Статья раскрывает содержание принципов верификации информационных моделей. Вводится понятие верификации модели. Вводится понятие алгоритма реализации. Показано, что верификация программного обеспечения является основой для верификации информационных моделей. Показано, что...
Теги: информационные модели , верификация , алгоритм , алгоритм реализации , темпоральная логика
