BDBComp
Parceria:
SBC
BDDmeter - uma ferramenta para visualização dinâmica de BDDs

Sérgio Queiroz de MedeirosDavid 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

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD