我々は、生物学的経路モデルのための統計オンラインモデルチェッカーであるMIRACHを、チェックするルール/プロパティを表現するためのPLTLs形式主義に基づいて開発しています。MIRACHは現在、CSMLまたはSBMLのいずれかで書かれた経路モデルをチェックすることができます。
バージョン履歴
- バージョン files に転記 2010-06-22
いくつかの修正と更新 - バージョン N/A に転記 2010-06-22
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: mirach.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows