
PRISM
 Referenced in 454 articles
[sw01186]
 checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multiterminal BDDs...

CUDD
 Referenced in 158 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 49 articles
[sw00723]
 Boolean polynomials based on zerosuppressed binary decision diagrams, which are capable of handling these...

BuDDy
 Referenced in 23 articles
[sw05791]
 evolved from a simple introduction to Binary Decision Diagrams (BDDs) to a full blown...

Supremica
 Referenced in 19 articles
[sw18546]
 uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states...

azove
 Referenced in 13 articles
[sw04634]
 these tasks can be accomplished using binary decision diagrams (BDDs), a very popular and effective...

CirCUs
 Referenced in 9 articles
[sw00128]
 Conjunctive Normal Form (CNF) clauses, and Binary Decision Diagrams (BDDs). We show how BDDs...

Sylvan
 Referenced in 5 articles
[sw41639]
 parallel (multicore) multiterminal binary decision diagram library written in C. Sylvan implements typical ... binary decision diagram operations also found in libraries like CUDD, but provides scalable parallel execution ... types. Sylvan implements parallelized operations on binary decision diagrams supporting any kind of terminal, including...

SMCDEL
 Referenced in 8 articles
[sw29077]
 boolean formulas which are represented as Binary Decision Diagrams (BDDs). You can try SMCDEL online...

Synthia
 Referenced in 8 articles
[sw12933]
 that enables a clean combination of binary decision diagrams with difference bound matrices...

FIREMAN
 Referenced in 7 articles
[sw10594]
 implemented by modeling firewall rules using binary decision diagrams (BDDs), which have been used successfully...

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...

SymChaff
 Referenced in 6 articles
[sw00938]
 grouptheoretic methods, and zerosuppressed binary decision diagrams. We demonstrate the efficacy...

BOXES
 Referenced in 6 articles
[sw21178]
 symbolic, and weds the strengths of Binary Decision Diagrams (BDDs) and Box. The complexity...

CacBDD
 Referenced in 4 articles
[sw19401]
 present CacBDD, a new efficient BDD (Binary Decision Diagrams) package. It implements a dynamic cache...

CASPA
 Referenced in 4 articles
[sw02863]
 symbolic data structure MTBDD (multiterminal binary decision diagram) which enables the tool to handle...

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...

ITEM ToolKit
 Referenced in 3 articles
[sw12549]
 software incorporates two independent calculation engines: Binary Decision Diagram and Approximation Method. It provides methods...