PÁLIDO motor de lógica de asserção de ponteiro de código aberto
Baixe Agora

PÁLIDO Classificação e resumo

PÁLIDO Tag

amigo motor Mecanismo amigo. Asserção de idioma. motor de asserção afirmação

PÁLIDO Descrição

Motor de lógica de asserção de ponteiro de código aberto A lógica de asserção de ponteiro é uma notação para expressar afirmações sobre a estrutura de heap de idiomas imperativos. A lógica de asserção do ponteiro permite que os programadores especifiquem pré e pós-condições de procedimentos, invariantes de loop e outras afirmações em lógica de segunda ordem monádica fraca de tipos de gráfico - uma lógica que permite que muitas estruturas comuns de dados sejam expressas. A lógica é decidível, o que significa que as asserções podem ser verificadas automaticamente. Os principais aplicativos de destino são o tipo de dados críticos de segurança algoritmos.pale (motor lógico de asserção do ponteiro) é uma fonte aberta e a implementação completa da técnica, com base na Mona Tool.pale analisa um programa anotado e relata deseredros de ponteiro nulo, vazamentos de memória, e violações de asserções e erros do tipo gráfico. Como instalar e executar: Unarchive, abra uma janela de terminal, vá para a pasta Pale e execute os seguintes comandos a partir da linha de comando: Off Makeudo faz requisitos do InstallPalePalemona: · Apple Xcode.

PÁLIDO Software Relacionado