CRD(クロック制限図)技術を用いたCの高密度モデルを備えたリアルタイムシステムのための*モデルチェック/シミュレーションチェックライブラリ。* HRD (ハイブリッド制限図) テクノルを用いた C のリニアハイブリッドシステム用パラメトリック解析ライブラリ
バージョン履歴
- バージョン version 8 に転記 2011-05-29
- バージョン version_2 に転記 2011-03-24
いくつかの修正と更新
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: sites.google.com/site/redlibtw/
- ライセンス: 無料
- 価格: N/A
- バージョン: 8
- プラットフォーム: linux