Издательство ГРАМОТА - публикация научных статей в периодических изданиях
Педагогика. Вопросы теории и практикиФилологические науки. Вопросы теории и практики (входит в перечень ВАК)Исторические, философские, политические и юридические науки, культурология и искусствоведение. Вопросы теории и практики (входит в перечень ВАК)

Архив научных статей

ИСТОЧНИК:   Альманах современной науки и образования. Тамбов: Грамота, 2011. № 6. С. 84-85. ISSN 1993-5552.
РАЗДЕЛ: Физико-математические науки
Опубликовать статью в журнале | Показать содержание номера | Показать все статьи раздела | Предметный указатель

Лицензионное соглашение об использовании научных материалов.

ВЕРИФИКАЦИЯ И СПОСОБЫ ОПИСАНИЯ ФОРМАЛЬНЫХ МОДЕЛЕЙ

Сергеев Дмитрий Витальевич
Тульский государственный университет


Открыть полный текст статьи в формате PDF. Бесплатный просмотрщик PDF-файлов можно скачать здесь.

 

Список литературы:
  1. Габай М., Ходкинсон И., Рейнольдс М. Временная логика: математические основы и вычислительные аспекты. Оксфорд: Clarendon Press, 1994. Т. 1. 653 с.
  2. Кларк Э. М., Грамберг О., Пелед Д. Верификация моделей программ. М.: МЦНМО, 2002.
  3. Марков А. А. Элементы математической логики. М.: Издательство МГУ, 1984.
  4. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
  5. Миронов А. М., Жуков Д. Ю. Математическая модель и методы верификации программных систем // Информационные технологии и вычислительные системы. 2005. 220 с.
  6. Hillston J. Процесс алгебры для количественного анализа // СЛС: школа информатики. 2005.

Опубликовать статью в журнале | Показать содержание номера | Показать все статьи раздела | Предметный указатель

© 2006-2017 Издательство ГРАМОТА

разработка и создание сайта, поисковая оптимизация: krav.ru