Личный кабинет
Подробное описание документа
Статья в журнале
Андреев А. М.
Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А. - DOI 10.18698/2308-6033-2012-11-478 // Инженерный журнал: наука и инновации. - 2012. - № 11. -
Рассмотрена задача построения алгоритма верификации систем реального времени. Предложен подход к проверке таких систем на основе метода Model Checking. Описаны основные шаги верификации, области применения разработанного подхода и приведены примеры проверки различных моделей.
