mCRL2

В этой статье есть несколько проблем. Помогите улучшить ее или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти сообщения ) В статье содержится список общих ссылок , но в ней отсутствуют соответствующие встроенные цитаты .Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Апрель 2024 )( Узнайте, как и когда удалить это сообщение ) В этой статье содержится список литературы , сопутствующих материалов или внешних ссылок , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты .Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Апрель 2024 )( Узнайте, как и когда удалить это сообщение ) ( Узнайте, как и когда удалить это сообщение )

mCRL2 — это язык спецификации для описания параллельных дискретных событийных систем. Он сопровождается набором инструментов, который облегчает инструменты, методы и приемы для моделирования, анализа и визуализации поведения. Поведенческая часть языка основана на алгебре процессов ( Алгебра коммуникируемых процессов ). Часть данных набора инструментов основана на абстрактных эквациональных типах данных, расширенная функциями более высокого порядка.

Набор инструментов был создан Яном Фризо Гроотом и в настоящее время разрабатывается группой формального системного анализа в Техническом университете Эйндховена , Нидерланды .

• Гроот, Дж. Ф., Мусави, М. Р. Моделирование и анализ коммуникационных систем . Издательство MIT. 2014. ISBN  9780262027717 .

• веб-сайт mCRL2