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