Molle. Molle é um provador de plataformas transversais para a lógica modal.
Baixe Agora

Molle. Classificação e resumo

Molle. Tag

interativo representação Representação interativa Modelos gerados lógica modal Molle.

Molle. Descrição

Molle é um provador de plataformas transversais para a lógica modal. Molle é um provador de plataformas transversais para a lógica modal. Ele explora o método de tableaux semântico modal. O Molle Project apresenta uma interface gráfica muito utilizável, com uma representação interativa de modelos gerados.Requirements: · Java 1.5 O que é novo neste lançamento: · Esta versão pode provar fórmulas de lógica modal proposicional, visualizar uma prova de tableaux e passos de resolução, e visualizar modelos para exemplos e contra-reexamples.

Molle. Software Relacionado