JDD[1] is a decision diagram library written in pure java. It supports [Binary Decision Diagrams][bdd] (BDD) and [Zero-suppressed Decision Diagram][zdd] (Z-BDD or just ZDD). The JDD code tree contains ...

This tool that can be used to generate a Class diagram by parsing the java source code. The java source folder and the output image file path is given as input to the code and the generated image of ...

Various methods have been introduced and developed to analyze fault tree diagrams. One of the interesting methods is fault tree conversion to Binary Decision Diagram (BDD). However, the conversion ...