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