CRefine

Iniciar Desenvolvimento
Para iniciar o refinamento de uma especificação, o usuário deve abrir esta especificação no formato .tex na ferramenta. Para isto, selecione "Desenvolvimento -> Novo" no menu como mostrado na figura abaixo, ou no botão . A janela de seleção de arquivo será aberta. Ao selecionar o arquivo e solicitar o seu carregamento na ferramenta, CRefine realiza a análise léxica e sintática. Em casos de erros na especificação, uma janela exibirá os erros sintáticos encontrados no arquivo de entrada, bem como algumas exceções eventualmente disparadas devidos a esses erros. Caso nenhum erro seja encontrado, a especificação inicial será apresentada para o usuário no formato LaTeX.