• PRISM

  • Referenced in 416 articles [sw01186]
  • symbolic, using BDDs (binary decision diagrams) and MTBDDs (multi-terminal BDDs); one based on sparse...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle...
  • libVATA

  • Referenced in 1 article [sw33005]
  • semi-symbolic encoding uses multi-terminal binary decision diagrams (MTBDDs) for storing the transition table...
  • MLCUDDIDL

  • Referenced in 0 articles [sw20129]
  • allows to manipulate ADDs (Algebraic Decision Diagrams), the leaves of which are reals; the modules ... Mapleaf allows to manipulate MTBDDs (Multi-Terminal Binary Decision Diagram), the leaves of which...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • PEPS

  • Referenced in 34 articles [sw03186]
  • Performance Evaluation for Parallel Systems(PEPS). PEPS is...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • Logical and stochastic modeling with smart. We describe...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • DCVALID

  • Referenced in 14 articles [sw20416]
  • DCVALID: A tool for modelchecking Duration Calculus Formulae...