Системы и средства информатики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Системы и средства информ.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Системы и средства информ., 2010, том 20, выпуск 3, страницы 4–16 (Mi ssi221)  

Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей

С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс


Аннотация: Данная работа посвящена разработке программных средств для использования ASM (Algorithmic state machine) диаграмм описаний конечных автоматов для верификации проектов цифровых систем в процессе их разработки. Разработана программа mealy2smv, написанная на языке C++, осуществляющая преобразование описания конечного автомата (Finite State Machine), заданного таблицей переходов, в его описание на языке SMV как структуры Крипке, что позволяет существенно снизить трудоемкость подготовки заданий на формальную верификацию.

Ключевые слова: формальная верификация, конечные автома-ты.

Полный текст: PDF файл (275 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 004.054

Образец цитирования: С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс, “Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей”, Системы и средства информ., 20:3 (2010), 4–16

Цитирование в формате AMSBIB
\RBibitem{FreKurLib10}
\by С.~Л.~Френкель, А.~Л.~Курц, Д.~Л.~Либуркин, H.~A.~Фандюшина, Б.~Н.~Андерс
\paper Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
\jour Системы и средства информ.
\yr 2010
\vol 20
\issue 3
\pages 4--16
\mathnet{http://mi.mathnet.ru/ssi221}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ssi221
  • http://mi.mathnet.ru/rus/ssi/v20/i3/p4

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Системы и средства информатики
    Просмотров:
    Эта страница:188
    Полный текст:95
    Литература:27
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022