Проверка моделей Uppaal
Устройство для проверки моделей Uppaal Обзор инструмента UPPAAL UPPAAL – это среда для моделирования и верификации систем реального времени. Используется […]
Вики
Модельные шашки
Вики
Проверка модели SPIN
Устройство для проверки модели вращения Обзор инструмента SPIN SPIN – это инструмент для проверки корректности параллельных программных моделей, разработанный в
Вики
PAT (проверка модели)
PAT (средство проверки модели) Обзор инструмента PAT PAT – это фреймворк для анализа и моделирования параллельных систем. Включает пользовательские интерфейсы,
Вики
Набор инструментов для статического анализа программного обеспечения MALPAS
Набор инструментов статического анализа программного обеспечения MALPAS Обзор MALPAS MALPAS – это набор инструментов для статического анализа программного обеспечения. Он
Вики
Построение и анализ распределенных процессов
Построение и анализ распределенных процессов Обзор CADP CADP – это инструмент для проверки надежности сложных систем, разработанный в INRIA. CADP
Вики
Promela – Wikipedia
Промела Основы языка Promela Promela – язык верификации для моделирования распределенных систем. Основан на языке программирования Occam, но имеет дополнительные