Descrição
Acompanha versões de desenvolvimento da biblioteca APRON de domínios abstratos numéricos. Ela é útil para pesquisadores e desenvolvedores que criam analisadores de propriedades numéricas de programas.
Bibliotecas de análise formal exigem escolha correta de domínios e interpretação dos resultados. Valide análises contra programas reais antes de depender delas para alegações de segurança.