Descrição
Resultados de métodos intervalares podem ser exibidos como caixas, pavimentações e estruturas visuais relacionadas. Isso ajuda usuários a inspecionar computações verificadas e resultados baseados em conjuntos com mais clareza.
É uma extensão de suporte à visualização para análise intervalar. Ela ajuda a exibir resultados, mas não decide se um modelo está correto.