MIRACH

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

Stiamo sviluppando MIRACH, un Statistical Online Model Checker for Biological Pathway Models, basato sul formalismo PLTLs per esprimere le regole / proprietà da controllare. MIRACH può attualmente controllare i modelli di percorsi scritti in CSML o SBML.

cronologia delle versioni

  • Versione files pubblicato il 2010-06-22
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-06-22

Dettagli del programma