Descrição
Projetos de verificação formal baseados em Ada podem usar a versão Git atual das ferramentas e bibliotecas SPARK 2014. Desenvolvedores rodam ferramentas como `gnatprove` para analisar contratos, provas e propriedades de correção de programas. Versões Git podem mudar comportamento antes de versões estáveis, então ambientes de verificação devem ser fixados para auditorias.