Formal verification

O ato de provar ou refutar a correção de algoritmos subjacentes a um sistema em relação a uma certa especificação formal ou propriedade, usando métodos matemáticos formais.