Linear Decision DiagramA library to help you with decision diagrams. | |
Download |
Linear Decision Diagram Ranking & Summary
Advertisement
Linear Decision Diagram Tags
- analysis Analyze arithmetic decision support decision decision advisor business decision decision program Decision Maker decision diagram decision displayer right decision diagrams analyze decision decision algorithm test decision algorithm decision rule synchronize diagrams decision ranking decision helper linear arithmetic predicate abstraction make Venn diagrams .net diagrams decision marking
Linear Decision Diagram Description
LDD is a data structure for representing formulas in linear arithmetic (LA) and its fragments. It is designed to be efficient for tasks that are at the core of many program analysis and software model checking techniques (e.g., predicate abstraction). Such tasks include Boolean manipulation and existential quantification of numeric variables from LA formulas. LDDs can be seen as an extension of Difference Decision Diagrams (DDDs) to full LA, and are implemented on top of the state-of-the-art CUDD package. Below you will find links to LDD-related documents and software releases.
Linear Decision Diagram Related Software