Por que uma plataforma de verificação de software livre
Baixe Agora

Por que Classificação e resumo

Por que Tag

Java verificar Verificador Java. Verificação de software Verifique o software verificação

Por que Descrição

Uma plataforma de verificação de software livre Por que contém várias ferramentas: · Um gerador de condição de verificação de uso geral (VCG), por que, que é usado como um back-end por outras ferramentas de verificação (veja abaixo), mas que também pode ser usado diretamente para verificar os programas (veja por exemplo. Exemplos); · Uma ferramenta Krakatoa para a verificação de programas Java; · Um caduceu da ferramenta para a verificação de programas C; Note que o Caduceus é um pouco obsoleto agora e os usuários devem se virar para Frama-C. Uma das principais características do porquê deve ser integrada a muitos provedores existentes (assistentes de prova como CoQ, Hol 4, Luz do Hol, PVs, Isabelle / Hol, Mizar e Procedimentos de Decisão, como simplificar, Alt-Ergo, Z3, CVC3, Yices, etc.). Requisitos: · Objetivo Caml 3.09 ou posterior O que há de novo nesta versão: · Corrigido exceção 'NOT_FUNDO' se .Whyc ausente · Plugin Problemas fixos de instalação. · Plugin Predicados para finitos de carros alegóricos (IS_Finite, · IS_INFINITE, etc.) Não falhe no modo JessiefloatModel (real) mas · Dê o valor de verdade esperado. · Não falhe mais em lançamentos de ponteiro sobre flutuantes ou reais. · Correções Bug 273 de Frama-C BTS

Por que Software Relacionado