O presente trabalho parte da suposição de que é importante examinar rigorosamente a confiabilidade de implementações de algoritmos para extração de isosuperfícies. Essa é a característica principal do projeto de Visualização Verificável: aplicar à area de visualização científica o mesmo rigor encontrado em outras partes do processo científico.

Para isso, foram desenvolvidas caracterizações geométricas e topológicas de propriedades de isosuperfícies que geram previsões concretas sobre os resultados esperados. Adicionalmente, essas previsões devem ser facilmente compreendidas e implementadas. A caracterização depropriedades geométricas apresentada aqui usa expansões elementares em séries de Taylor, e a caracterização topológica usa, entre outras técnicas, uma variante da teoria de Morse para espaços estratificados.

Na prática, essas propriedades geram técnicas que tem tanto alto poder de discriminação (isso é, são capazes de achar uma grande variedade de bugs), quanto simplicidade de implementação. Com os resultados do processo de verificação, usuários e implementadores dos algoritmos podem aumentar a confiança nos resultados gerados pelas implementações, e comparar implementações diferentes de maneiras apropriadas. Dois estudos de caso mostrando a aplicabilidade dessas diferentes técnicas serão apresentados, onde bugs foram em implementações publicamente disponíveis.