ｍCRL2

mCRL2 は、同時離散イベントシステムを記述するための仕様言語です。これには、動作のシミュレーション、分析、視覚化のためのツール、テクニック、メソッドを容易にするツールセットが付属しています。言語の動作部分は、プロセス代数 (通信プロセスの代数) に基づいています。ツールセットのデータ部分は、高階関数で拡張された抽象方程式データ型に基づいています。