Модельные шашки

Вики

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

Устройство для проверки моделей Uppaal Обзор инструмента UPPAAL UPPAAL – это среда для моделирования и верификации систем реального времени.  Используется […]

Вики

Проверка модели SPIN

Устройство для проверки модели вращения Обзор инструмента SPIN SPIN – это инструмент для проверки корректности параллельных программных моделей, разработанный в

Вики

PAT (проверка модели)

PAT (средство проверки модели) Обзор инструмента PAT PAT – это фреймворк для анализа и моделирования параллельных систем.  Включает пользовательские интерфейсы,

Вики

mCRL2

MCRL2 Обзор mCRL2 mCRL2 – язык для описания параллельных систем событий  Включает инструменты для моделирования, анализа и визуализации  Основан на

Вики

Promela – Wikipedia

Промела Основы языка Promela Promela – язык верификации для моделирования распределенных систем.  Основан на языке программирования Occam, но имеет дополнительные

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