プログラム mirach.sf.net

我々は、生物学的経路モデルのための統計オンラインモデルチェッカーであるMIRACHを、チェックするルール/プロパティを表現するためのPLTLs形式主義に基づいて開発しています。MIRACHは現在、CSMLまたはSBMLのいずれかで書かれた経路モデルをチェックすることができます。