Подробное описание документа

Статья в журнале

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

Читать онлайн

Скачать документ

Полнотекстовый документ

DOI 10.18698/2308-6033-2012-11-478

https://doi.org/10.18698/2308-6033-2012-…

engjournal.bmstu.ru/catalog/it/network/478.html

https://engjournal.bmstu.ru/catalog/it/n…

Аннотация

Рассмотрена задача построения алгоритма верификации систем реального времени. Предложен подход к проверке таких систем на основе метода Model Checking. Описаны основные шаги верификации, области применения разработанного подхода и приведены примеры проверки различных моделей.

Авторы МГТУ

Андреев Арк Михайлович

Козлов Илья Андреевич

Статья опубликована в следующих изданиях

п.н. 3

Журнал

Инженерный журнал: наука и инновации. - ISSN 2308-6033 (web).
№ 11. - 2012.

подробнее

Похожие издания

Статья в журнале

Андреев А. М., Козлов И. А.
Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. Моделирование и идентификация. - С. 47-60.

подробнее