Оглавление
PAT (средство проверки модели)
-
Обзор инструмента PAT
- PAT – это фреймворк для анализа и моделирования параллельных систем.
- Включает пользовательские интерфейсы, редактор моделей и симулятор.
- Реализует методы проверки моделей, включая отсутствие взаимоблокировок и достижимость.
- Поддерживает проверку уточнений и вероятностных моделей.
- Оптимизирует производительность с помощью методов, таких как частичное уменьшение порядка и уменьшение симметрии.
-
Дополнительные ресурсы
- Ссылки на внешние ресурсы и веб-сайт PAT.
- Форум для обсуждения использования PAT.