Проверка моделей Uppaal

От / / Оставьте комментарий

Оглавление1 Устройство для проверки моделей Uppaal1.1 Обзор инструмента UPPAAL1.2 Расширения UPPAAL1.3 Рекомендации и ресурсы1.4 Полный текст статьи:2 Проверка моделей Uppaal […]

Formal methods stubs, Model checkers, Заглушки формальных методов, Модельные шашки

Устройство для проверки моделей Uppaal

  • Обзор инструмента UPPAAL

    • UPPAAL – это среда для моделирования и верификации систем реального времени. 
    • Используется в 17 исследованиях, включая Lego Mindstorms и аудиопротоколы Philips. 
    • Разработан в сотрудничестве между университетами Уппсалы и Ольборга. 

  • Расширения UPPAAL

    • Cora для анализа доступности. 
    • Tron для онлайн-тестирования соответствия “черному ящику”. 
    • Покрытие для автономной генерации тестов. 
    • Tiga для синтеза контроллеров на основе временных игр. 
    • Порт для синхронизации на основе методов частичного сокращения заказов. 
    • Профессионал в области вероятностного анализа достижимости (больше не производится). 
    • SMC для проверки статистической модели. 

  • Рекомендации и ресурсы

    • Ссылки на внешние ресурсы, включая академические и коммерческие сайты. 
    • Упоминание о возможности расширения статьи для Википедии. 

Полный текст статьи:

Проверка моделей Uppaal — Википедия

Похожие статьи:

  1. Автоматизированное машинное обучение Оглавление1 Автоматизированное машинное обучение1.1 Основные подходы к машинному обучению1.2 Методы машинного обучения1.3 Автоматизация машинного обучения1.4 Полный...
  2. Планирование частичного заказа Оглавление1 Планирование частичных заказов1.1 Основы планирования с частичным порядком1.2 Пример планирования с частичным порядком1.3 Структура плана...
  3. Маркированные данные Оглавление1 Помеченные данные1.1 Контролируемое обучение1.2 Обучение без присмотра1.3 Онлайн-обучение1.4 Пакетное обучение1.5 Мета-обучение1.6 Самостоятельное обучение1.7 Квантовое машинное...
  4. Синхронизация данных Оглавление1 Синхронизация данных1.1 Основы синхронизации данных1.2 Примеры синхронизации данных1.3 Проблемы синхронизации данных1.4 Решения для синхронизации файлов1.5...
  5. Проверка модели Оглавление1 Проверка модели1.1 Основы проверки моделей1.2 Применение проверки моделей1.3 Методы проверки моделей1.4 Инструменты проверки моделей1.5 Рекомендации...
  6. Разложение LU Оглавление1 Разложение LU1.1 Определение и свойства матрицы поворота1.2 Алгоритм частичного поворота1.3 Пример частичного поворота1.4 Общий алгоритм...
  7. Кабинет (правительство) Оглавление1 Кабинет министров (правительство)1.1 Основы политической науки1.2 Политические режимы1.3 Политические институты1.4 Политическая экономия1.5 Политическая история1.6 Политическая...
  8. Кластеризация на основе моделей Оглавление1 Кластеризация на основе модели1.1 Основы кластеризации на основе моделей1.2 История и развитие1.3 Программное обеспечение1.4 Дальнейшее...
  9. Профессионал Оглавление1 Профессиональный1.1 Определение и значение профессии1.2 Эволюция и значение термина “профессионал”1.3 Теории и этимология1.4 Гильдии и...
  10. Проверка модели SPIN Оглавление1 Устройство для проверки модели вращения1.1 Обзор инструмента SPIN1.2 Особенности и ускорение1.3 Дополнительная информация1.4 Полный текст...
  11. Синхронизация (информатика) Оглавление1 Синхронизация (информатика)1.1 Основы синхронизации1.2 Аппаратная синхронизация1.3 Поддержка языков программирования1.4 Реализация синхронизации1.5 Математические основы синхронизации1.6 Примеры...
  12. Кут (программное обеспечение) Оглавление1 Coot (программное обеспечение)1.1 Описание программы Coot1.2 Основные функции1.3 Особенности1.4 Инструменты для построения моделей1.5 Инструменты для...
  13. Статистическая проверка гипотез Оглавление1 Проверка статистической гипотезы1.1 История проверки статистических гипотез1.2 Выбор нулевой гипотезы1.3 Современное происхождение и споры1.4 Философия...
  14. Статистическая проверка гипотез Оглавление1 Проверка статистической гипотезы1.1 История проверки статистических гипотез1.2 Выбор нулевой гипотезы1.3 Современное происхождение и споры1.4 Философия...
  15. LR-парсер Оглавление1 Анализатор LR1.1 Типы LR-анализаторов1.2 Синтаксический анализ LR1.3 Преимущества LR-анализаторов1.4 Процесс анализа1.5 Шаги анализа1.6 Пример анализа1.7...
  16. Тестирование на основе моделей Оглавление1 Тестирование на основе модели1.1 Основы тестирования на основе моделей1.2 Абстрактные и исполняемые наборы тестов1.3 Методы...
  17. Синхронизация аудио-видео Оглавление1 Синхронизация аудио- и видеосигнала1.1 Основы AV-синхронизации1.2 Источники ошибок AV-синхронизации1.3 Проблемы в телевизионных системах1.4 Влияние на...
  18. Вероятностное программирование Оглавление1 Вероятностное программирование1.1 Определение и применение вероятностного программирования1.2 Языки вероятностного программирования (PPLs)1.3 Примеры использования вероятностного программирования1.4...
  19. Сигнал часов Оглавление1 Тактовый сигнал1.1 Определение и важность тактовых импульсов1.2 История и эволюция тактовых импульсов1.3 Типы тактовых импульсов1.4...
  20. Шенгенская зона Оглавление1 Schengen Area1.1 История и структура Европейского Союза1.2 Основные институты ЕС1.3 Экономическая и финансовая политика ЕС1.4...
  21. Цены Оглавление1 Ценообразование1.1 Основы ценообразования1.2 Виды ценообразования1.3 Стратегии ценообразования1.4 Методы ценообразования1.5 Ценообразование в различных отраслях1.6 Методы установления...
  22. Синхронизация часов Оглавление1 Синхронизация часов1.1 Основы синхронизации часов1.2 Терминология и режимы работы1.3 Проблемы синхронизации1.4 Решения для синхронизации1.5 Протоколы...

Оставьте комментарий

Прокрутить вверх