開發者 sites.google.com/site/redlibtw/

* 使用CRD（時鐘限制圖）技術的C級密集時間模型的即時系統模型檢查/模擬檢查庫。* 具有HRD（混合限制圖）技術C中線性混合系統的參數分析庫