
PRISM
 Referenced in 376 articles
[sw01186]
 checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multiterminal 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 Zerosuppressed Binary Decision Diagrams (ZDDs) [12]. BDDs are used to represent...

PolyBoRi
 Referenced in 40 articles
[sw00723]
 Boolean polynomials based on zerosuppressed 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...

DSSZMC
 Referenced in 6 articles
[sw01360]
 objectoriented implementation of Zerosuppressed 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]
 grouptheoretic methods, and zerosuppressed 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 (multiterminal 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...