Зведений каталог бібліотек Києва
Алексеева, Марина Михайловна. Метод проверки на модели (model-checking) для определения корректности сложных систем [Текст] / М. М. Алексеева, Е. А. Дашкова // Дистанционное и виртуальное обучение. № 12 - Москва , 2011. — С. 50-56.
- Анотація:
В статье рассматривается один из множества подходов к достижению корректности сложных систем является метод формальной верификации, который позволяет проверять желаемые поведенческие свойства данной системы. В настоящее время данную методику называютпроверка на модели (model - checking).
- Є складовою частиною документа:
Дистанционное и виртуальное обучение [Текст] : Дайджест российской и зарубежной прессы // Дистанционное и виртуальное обучение - Москва. — 150 с.
