Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.4’242
Номер:6 (64)
ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Аннотация:
В статье рассматриваются способы преобразования программ, разработанных на основе автоматного подхода, в модели Крипке, предназначенные для проверки свойств, относящихся к поведению системы. Эти свойства задаются формулами темпоральной логики. Предложен эффективный метод такого преобразования и формулировки указанных свойств, который позволяет строить небольшие модели Крипке и достаточно быстро проводить их проверку.
Ключевые слова:
Постоянный URL
Статьи в номере
- СТРУКТУРА ОБОБЩЕННОЙ КОМПЬЮТЕРНОЙ МОДЕЛИ ОПТИКО-ЭЛЕКТРОННЫХ СИСТЕМ
- ИЗУЧЕНИЕ ПОГРЕШНОСТЕЙ СОВМЕЩЕНИЯ МАРОК ПРИ ПОПЕРЕЧНЫХ НАВОДКАХ
- УСТАНОВКА ДЛЯ ЭКСПЕРИМЕНТАЛЬНОГО НАБЛЮДЕНИЯ СПЕКТРОВ ХЕМИЛЮМИНЕСЦЕНЦИИ
- ИССЛЕДОВАНИЕ ВРЕМЕНИ ЖИЗНИ ЛЮМИНЕСЦЕНЦИИ CdSe/ZnS КВАНТОВЫХ ТОЧЕК В СЛУЧАЕ ОБРАЗОВАНИЯ И ДИССОЦИАЦИИ КОМПЛЕКСОВ КТ/ОРГАНИЧЕСКАЯ МОЛЕКУЛА В ТОНКИХ ПОЛИМЕРНЫХ ПЛЕНКАХ
- МЕТОД ОПРЕДЕЛЕНИЯ МЕСТОПОЛОЖЕНИЯ ЩЕЛИ И КОНТРОЛЯ КАЧЕСТВА ТЕРМОСОЕДИНЕНИЙ НА ОСНОВЕ МАГНИТНЫХ ИЗМЕРЕНИЙ
- МОДЕЛИРОВАНИЕ ШПИНДЕЛЬНЫХ ГИДРОСТАТИЧЕСКИХ ПОДШИПНИКОВ И ИССЛЕДОВАНИЕ ВОЗМОЖНОСТЕЙ ПОВЫШЕНИЯ ИХ ДИНАМИЧЕСКОГО КАЧЕСТВА
- ПРОГРАММНЫЙ КОМПЛЕКС ИНФОРМАЦИОННОЙ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПРИ ОЦЕНКЕ ТИПОВЫХ ТРАЕКТОРИЙ ПОЛЕТА
- ВЛИЯНИЕ ИЗЛУЧЕНИЯ YLP–ЛАЗЕРА НА ВОЛЬТ-ФАРАДНЫЕ ХАРАКТЕРИСТИКИ СИСТЕМЫ КРЕМНИЙ–ДВУОКИСЬ КРЕМНИЯ
- МНОГОЭЛЕМЕНТНЫЕ ПРИЕМНИКИ НА ОСНОВЕ СЕЛЕНИДА СВИНЦА ДЛЯ ОБЛАСТИ СПЕКТРА 2–5 МКМ
- ИССЛЕДОВАНИЕ ОПТИЧЕСКИХ СВОЙСТВ ПОКРЫТИЙ НА ОСНОВЕ ГИДРОГЕНИЗИРОВАННОГО УГЛЕРОДА, МОДИФИЦИРОВАННОГО НАНОЧАСТИЦАМИ МЕТАЛЛОВ
- ВЛИЯНИЕ ДИСПЕРСИОННОГО НАПОЛНИТЕЛЯ НА ОСНОВЕ АЛЮМИНИЯ НА СТРУКТУРУ И СВОЙСТВА ПОЛИПРОПИЛЕНА
- СЕМАНТИЧЕСКАЯ ПАУТИНА И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
- МУЛЬТИАГЕНТНАЯ ТЕХНОЛОГИЯ ФОРМИРОВАНИЯ ВИРТУАЛЬНЫХ БИЗНЕС-ПЛОЩАДОК В ЕДИНОМ ИНФОРМАЦИОННО-КОММУНИКАЦИОННОМ ПРОСТРАНСТВЕ РАЗВИТИЯ ИННОВАЦИЙ
- ОБЕСПЕЧЕНИЕ УСТОЙЧИВОГО РАЗВИТИЯ ПРЕДПРИНИМАТЕЛЬСКИХ СТРУКТУР НА ОСНОВЕ ВЗАИМОДЕЙСТВИЯ МЕХАНИЗМА УПРАВЛЕНИЯ И САМООРГАНИЗАЦИИ
- 4 «РЕ-» ИЗМЕНЕНИЯ БИЗНЕСА: РЕФОРМИРОВАНИЕ,РЕОРГАНИЗАЦИЯ, РЕСТРУКТУРИЗАЦИЯ, РЕИНЖИНИРИНГ
- СОВРЕМЕННОЕ СОСТОЯНИЕ ПРОБЛЕМ УПРАВЛЕНИЯ КОНКУРЕНТОСПОСОБНОСТЬЮ ПРЕДПРИЯТИЙ
- МАКРОЭКОНОМИЧЕСКИЕ ЭФФЕКТЫ РЕАЛИЗАЦИИ КРУПНОМАСШТАБНЫХ ПРОЕКТОВ
- РАЗРАБОТКА ТИПОВОГО WEB-ПОРТАЛА ИННОВАЦИОННОЙ ОБРАЗОВАТЕЛЬНОЙ ПРОГРАММЫ УНИВЕРСИТЕТА И ВНЕДРЕНИЕ ЕГО В УСЛОВИЯХ СЕТЕВОЙ ИНФРАСТРУКТУРЫ УНИВЕРСИТЕТА