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
- Categoria: Istruzione > Altro
- Editore: mirach.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows