mCRL2
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
mCRL2 — это язык спецификации для описания параллельных систем дискретных событий. Он сопровождается набором инструментов, который предоставляет инструменты, приемы и методы моделирования, анализа и визуализации поведения. Поведенческая часть языка основана на алгебре процессов ( Algebra of Communicating Processes ). Часть данных набора инструментов основана на абстрактных уравнениях типах данных, расширенных функциями высшего порядка.
Этот набор инструментов был основан Яном Фрисо Грооте и в настоящее время разрабатывается группой формального системного анализа в Эйндховенский технологический университет , Нидерланды .
Ссылки [ править ]
- Гроот Дж. Ф., Мусави М. Р. Моделирование и анализ коммуникационных систем . Пресса МТИ. 2014. ISBN 9780262027717 .