Descrição
Verifica programas ANSI C com a versão de desenvolvimento do model checking limitado do CBMC. É útil para pessoas desenvolvedoras e pesquisadoras que precisam de mudanças ou correções recentes do verificador.
Este pacote Git pode mudar de comportamento com mais frequência do que lançamentos estáveis. Verifique novamente resultados importantes após atualizações e mantenha configurações de verificação sob controle de versão quando reprodutibilidade for importante.