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