开发者 sites.google.com/site/redlibtw/

REDLIB 免费

* 使用CRD（时钟限制图）技术的C级密集时间模型的实时系统模型检查/模拟检查库。* 具有HRD（混合限制图）技术C中线性混合系统的参数分析库