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

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

УЛУЧШЕНИЕ МЕТОДА ОЦЕНКИ МОДЕЛЕЙ

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