プログラム sites.google.com/site/redlibtw/

CRD(クロック制限図)技術を用いたCの高密度モデルを備えたリアルタイムシステムのための*モデルチェック/シミュレーションチェックライブラリ。* HRD (ハイブリッド制限図) テクノルを用いた C のリニアハイブリッドシステム用パラメトリック解析ライブラリ