Библиографическое описание:Алексеева, М. М. Метод проверки на модели (model-checking) для определения корректности сложных систем / М. М. Алексеева, Е. А. Дашкова. - (Методика и опыт). - Текст : непосредственный // Дистанционное и виртуальное обучение. - 2011. - № 12. - С. 50-56. - Библиогр.: с. 55 (4 назв. ). - ISSN 1561-2449.
Аннотация:Метод формальной верификации как один из подходов к достижению корректности сложных систем.
Ключевые слова:программные системы, аппаратные системы, автоматное программирование, корректность программного обеспечения, корректность алгоритмов, верификация, технологии программирования, системное моделирование, проектирование систем
