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

Аннотация.

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

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

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

Стр. 47-52.

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

2018 / 02
2018 / 01
2017 / 04
2017 / 03

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