MCRL2
MCRL2mCRL2는 동시 이산 이벤트 시스템을 설명하기 위한 규격 언어다.시뮬레이션, 분석 및 행동 시각화를 위한 도구, 기법 및 방법을 용이하게 하는 도구 세트를 수반한다.언어의 행동 부분은 프로세스 대수학(통신 프로세스의 Algebra)에 기초한다.툴 세트의 데이터 부분은 고차 함수로 확장된 추상적 등가 데이터 유형에 기초한다.
툴 세트는 얀 프리소 그로테가 설립했으며 현재 네덜란드 아인트호번 공과대학의 포멀 시스템 분석 그룹이 개발 중이다.
참조
- Groote, J.F., 무사비, M.R. 모델링 및 통신 시스템 분석.MIT 언론.2014. ISBN9780262027717.