Programas por mirach.sf.net

Estamos a desenvolver o MIRACH, um Verificador de Modelos Estatísticos Online para Modelos de Caminhos Biológicos, baseado no formalismo plTLs para expressar as regras/propriedades a serem verificadas. A MIRACH pode atualment