Sérgio Queiroz de Medeiros,  David Déharbe. 

BDDs formam uma família de estruturas de dados utilizadas em diversos tipos de ferramentas de apoio à engenharia de sistemas computacionais como a verificação formal de software. BDDmeter é uma extensão gráfica para bibliotecas de BDDs a partir da qual é possivel monitorar o comportamento de BDDs com o decorrer do tempo.BDDmeter possibilita em particular visualizar, sob forma de gráfico ou de texto, informações relevantes para o usuário das ferramentas baseadas em BDDs, a fim de entender melhor eventuais gargalos ocorrendo ao decorrer da execução.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2001/025.pdf

Processando consulta.