|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Языки спецификаций моделей Крипке на основе темпоральных логик и их выразительные возможностистатья
- Авторы: Захаров В.А., Гнатенко А.Р.
- Сборник: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды
- Редакторы: Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
- Серия: 978-5-317-05834-0
- Том: 1
- Год издания: 2018
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 131
- Последняя страница: 133
- Аннотация: Мы предлагаем язык спецификаций, обобщающий классические темпоральные логики на случай вычислительных систем, получающих сигналы от окружения.Этот язык может быть использован и для спецификации поведения обычных моделей Крипке, причём его выразительная сила значительно превосходит возможности логики LTL. Мы приводим краткое описание синтаксиса и семантики языка введенного языка спецификаций, формулируем утверждения о его выразительной силе, а также объясняем основные идеи, лежащие в основе доказательств этих утверждений.
- Добавил в систему: Захаров Владимир Анатольевич