Estamos desarrollando MIRACH, un Comprobador de Modelos Estadísticos Online para Modelos de Rutas Biológicas, basado en el formalismo DE PLTLs para expresar las reglas/propiedades a verificar. MIRACH actualmente puede comprobar los modelos de vías escritas en CSML o SBML.
historial de versiones
- Versión files publicado en 2010-06-22
Varias correcciones y actualizaciones - Versión N/A publicado en 2010-06-22
Detalles del programa
- Categoría: Educación > Otro
- Editor: mirach.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows