ПРИНЦИПЫ ВЕРИФИКАЦИИ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ И АЛГОРИТМОВ

Автор(ы): Елсуков Павел Юрьевич

Рубрика: Методологические исследования

DOI: 10.21777/2500-2112-2017-2-81-86

Выпуск: 2017-2 (19)

Страницы: 81-86

Ключевые слова: Информационные модели, Верификация, Алгоритм, Алгоритм реализации, Темпоральная логика

Аннотация: Статья раскрывает содержание принципов верификации информационных моделей. Вводится понятие верификации модели. Вводится понятие алгоритма реализации. Показано, что верификация программного обеспечения является основой для верификации информационных моделей. Показано, что алгоритм реализации информационной верифицированной модели обладает большей надежностью в сравнении с обычным алгоритмом. Статья показывает априрорные и апостерироные принципы верификации информационных моделей. Показано различие между алгоритмом и алгоритмом реализации.

Библиографическая ссылка: Елсуков П.Ю. ПРИНЦИПЫ ВЕРИФИКАЦИИ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ И АЛГОРИТМОВ // Образовательные ресурсы и технологии. – 2017. – № 2 (19). – С. 81-86. doi: 10.21777/2500-2112-2017-2-81-86

Текст статьи и список литературы