프로그램별 sites.google.com/site/redlibtw/

* CRD (시계 제한 다이어그램) 기술로 C의 조밀 한 시간 모델과 실시간 시스템을위한 모델 검사 / 시뮬레이션 검사 라이브러리. * HRD (하이브리드 제한 다이어그램) 테크놀과 C의 선형 하이브리드 시스템을위한 파라메트릭 분석 라이브러리