Verificação e validação de sistemas baseados em conhecimento : veritas, uma ferramenta de verificação