CRefine

Start Development

In order to start the refinement of a specification, the user must open the specification in the .tex format within the tool. For that, the user must select "Development -> New" from the menu as we show in the figure below, or in the button .
The file selection window be shown. After selecting the file, CRefine will do a lexical and syntactical analysis. If any errors are found, the errors will be displayed to the user in an error window. The syntactic error, as well as any possible exceptions that are consequence of these errors will described to the user. If no errors are found, the initial specification will be displayed to the user in LaTeX format.