Pipe2smv

Conversor de ficheiros do Pipe para o formato do SMV. Todos os lugares devem ter capacidade limitada, ou então usar a opção -c para definir a capacidade máxima. A aplicação ainda está em fase de testes: não é garantido que todas as conversões estejam perfeitas, mas para a maior parte dos casos funciona bem.

Download (pipe2smv_bin.rar).

Trabalho realizado por Hugo Maia e Bruno Lopes.