Skip to content

Versão para entrega

Latest
Compare
Choose a tag to compare
@OitoH OitoH released this 22 May 16:44

Para utilizar, descompactar o arquivo .zip e executar os scripts na pasta bin, as bibliotecas necessárias para execução se encontram na pasta lib. Alternativamente, seguir as intruções no arquivo README do repositório para compilar e executar.

O programa lê uma máquina de estados e expressão CTL no formato KISS a partir do standard input. Para redirecionar um arquivo para o standard input no Linux executar:
$ ./modelchecker < arquivo