Высокопроизводительные вычислительные системы
Распознавание образов
Квантовая информатика
Математическое моделирование
М.С. Соболев "Использование логики X-CTL для формальной верификации Х-машин"
GRID-технологии
Прикладные аспекты информатики
Abstracts
М.С. Соболев "Использование логики X-CTL для формальной верификации Х-машин"

Аннотация.

Приведен обзор логики CTL и ее применения для формальной верификации. Предложена логика Х-CTL, позволяющая осуществлять формальную верификацию Х-машин. Приведен пример модели-счетчика.

Ключевые слова:

формальная верификация, проверка моделей, Х-машина, сложные системы.

Стр. 47-52.

Полная версия статьи в формате pdf.

2017 / 01
2016 / 04
2016 / 03
2016 / 02

© ФИЦ ИУ РАН 2008-2016. Создание сайта "РосИнтернет технологии".