Results 1 to 20 of 197
Sort by:

  • PRISM
  • Referenced in 395 articles [sw01186]
  • checking engines: one symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs...

  • CUDD
  • Referenced in 147 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 43 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...

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

  • azove
  • Referenced in 12 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...

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

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

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

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

  • DenseZDD
  • Referenced in 3 articles [sw32975]
  • succinct data structure of zero-suppressed binary decision diagrams (ZDDs). A ZDD represents sets...

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