• PRISM

  • Referenced in 454 articles [sw01186]
  • checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal 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 Zero-suppressed Binary Decision Diagrams (ZDDs) [12]. BDDs are used to represent...
  • PolyBoRi

  • Referenced in 49 articles [sw00723]
  • Boolean polynomials based on zero-suppressed 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 (multi-core) multi-terminal 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...
  • 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...
  • SymChaff

  • Referenced in 6 articles [sw00938]
  • group-theoretic methods, and zero-suppressed 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 (multi-terminal 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...