Descrição
Apoia análise estática e verificação com domínios abstratos numéricos por meio da biblioteca APRON. 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.