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

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

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


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




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

Системы и средства информатики, 2010, том 20, выпуск 3, страницы 4–16 (Mi ssi221)  
Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей

С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс
PDF полного текста (275 kB)
Список литературы:
PDF
HTML
Аннотация: Данная работа посвящена разработке программных средств для использования ASM (Algorithmic state machine) диаграмм описаний конечных автоматов для верификации проектов цифровых систем в процессе их разработки. Разработана программа mealy2smv, написанная на языке C++, осуществляющая преобразование описания конечного автомата (Finite State Machine), заданного таблицей переходов, в его описание на языке SMV как структуры Крипке, что позволяет существенно снизить трудоемкость подготовки заданий на формальную верификацию.
Ключевые слова: формальная верификация, конечные автома-ты.
Тип публикации: Статья
УДК: 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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ssi221
  • https://www.mathnet.ru/rus/ssi/v20/i3/p4
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Системы и средства информатики
    Статистика просмотров:
    Страница аннотации:231
    PDF полного текста:117
    Список литературы:43
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024