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