-
PRISM
- Referenced in 376 articles
[sw01186]
- checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs...
-
CUDD
- Referenced in 142 articles
[sw04446]
- CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs) [5,3], Algebraic Decision Diagrams ... ADDs) [1], and Zero-suppressed Binary Decision Diagrams (ZDDs) [12]. BDDs are used to represent...
-
PolyBoRi
- Referenced in 40 articles
[sw00723]
- Boolean polynomials based on zero-suppressed binary decision diagrams, which are capable of handling these...
-
BuDDy
- Referenced in 22 articles
[sw05791]
- evolved from a simple introduction to Binary Decision Diagrams (BDDs) to a full blown...
-
azove
- Referenced in 12 articles
[sw04634]
- these tasks can be accomplished using binary decision diagrams (BDDs), a very popular and effective...
-
Supremica
- Referenced in 10 articles
[sw18546]
- uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states...
-
CirCUs
- Referenced in 9 articles
[sw00128]
- Conjunctive Normal Form (CNF) clauses, and Binary Decision Diagrams (BDDs). We show how BDDs...
-
Synthia
- Referenced in 7 articles
[sw12933]
- that enables a clean combination of binary decision diagrams with difference bound matrices...
-
DSSZ-MC
- Referenced in 6 articles
[sw01360]
- object-oriented implementation of Zero-suppressed Binary Decision Diagrams and Interval Decision Diagrams. The main...
-
BDDNOW
- Referenced in 6 articles
[sw08898]
- BDDNOW: A Parallel BDD Package. BDDs (binary decision diagrams) are ubiquitous in formal verification tools...
-
FIREMAN
- Referenced in 6 articles
[sw10594]
- implemented by modeling firewall rules using binary decision diagrams (BDDs), which have been used successfully...
-
BOXES
- Referenced in 6 articles
[sw21178]
- symbolic, and weds the strengths of Binary Decision Diagrams (BDDs) and Box. The complexity...
-
SymChaff
- Referenced in 5 articles
[sw00938]
- group-theoretic methods, and zero-suppressed binary decision diagrams. We demonstrate the efficacy...
-
DIFtree
- Referenced in 4 articles
[sw12541]
- modularization and binary decision diagrams as an aid in solution. In this paper we present...
-
ROBDD
- Referenced in 4 articles
[sw21204]
- functions based on the reduced, ordered, binary decision diagram (ROBDD) representation. The package is based...
-
SMCDEL
- Referenced in 3 articles
[sw29077]
- boolean formulas which are represented as Binary Decision Diagrams (BDDs). You can try SMCDEL online...
-
CacBDD
- Referenced in 3 articles
[sw19401]
- present CacBDD, a new efficient BDD (Binary Decision Diagrams) package. It implements a dynamic cache...
-
CASPA
- Referenced in 3 articles
[sw02863]
- symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle...
-
ITEM ToolKit
- Referenced in 2 articles
[sw12549]
- software incorporates two independent calculation engines: Binary Decision Diagram and Approximation Method. It provides methods...
-
HasCacBDD
- Referenced in 2 articles
[sw29078]
- HasCacBDD: Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management...