Keymeera. Ferramenta de verificação livre para sistemas híbridos
Baixe Agora

Keymeera. Classificação e resumo

Keymeera. Tag

verificar verificador Verifique o sistema verificador do sistema Combinação de tecnologia sistema

Keymeera. Descrição

Ferramenta de verificação gratuita para sistemas híbridos O Keymaera é uma ferramenta de verificação híbrida gratuita para sistemas híbridos que combinam tecnologias dedutivas, reais de algebrácica e algebrácica de computador. O Keymeera é um provador de teorema automatizado e interativo para uma especificação natural e lógica de verificação para sistemas híbridos. O Keymeera suporta lógica dinâmica diferencial (DL) , que é uma lógica dinâmica de primeira ordem avaliada para programas híbridos, uma notação de programa para automatização híbrida. Para automatizar o processo de verificação, o KeyMAEE implementa um cálculo sequencial de variável generalizado e estratégias automáticas de prova que se decomponha a especificação do sistema híbrido simbolicamente. Requisitos: · Java.

Keymeera. Software Relacionado