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

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

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



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






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


Модел. и анализ информ. систем, 2012, том 19, номер 6, страницы 34–44 (Mi mais268)  

Дедуктивная верификация телекоммуникационных систем, представленных на языке Си

И. С. Ануреев

Институт систем информатики им. А. П. Ершова СО РАН

Аннотация: Предложен дедуктивный подход к верификации телекоммуникационных систем, представленных на языке C. Подход основан на расширении языка C декларативными операторами и сведении верификации параллельных взаимодействующих компонент телекоммуникационных систем к раздельной верификации компонент, представленных на расширенном языке. Рассмотрен пример верификации протокола передачи данных.

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

Полный текст: PDF файл (327 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 519.681
Поступила в редакцию: 24.07.2012

Образец цитирования: И. С. Ануреев, “Дедуктивная верификация телекоммуникационных систем, представленных на языке Си”, Модел. и анализ информ. систем, 19:6 (2012), 34–44

Цитирование в формате AMSBIB
\RBibitem{Anu12}
\by И.~С.~Ануреев
\paper Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
\jour Модел. и анализ информ. систем
\yr 2012
\vol 19
\issue 6
\pages 34--44
\mathnet{http://mi.mathnet.ru/mais268}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais268
  • http://mi.mathnet.ru/rus/mais/v19/i6/p34

    ОТПРАВИТЬ: 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
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:151
    Полный текст:56
    Литература:14

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019