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

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

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

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

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

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

Список литературы:

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