• ASTRA

  • Referenced in 12 articles [sw00052]
  • Fault Tree Analysis (FTA) is a formalised deductive technique allowing the investigation of possible causes...
  • DFTCalc

  • Referenced in 5 articles [sw12545]
  • often required by law. Fault Tree Analysis (FTA) is a widely used methodology here, computing ... FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis, allowing...
  • BlockSim

  • Referenced in 2 articles [sw12546]
  • reliability block diagrams (RBDs) or fault tree analysis (FTA) — or a combination of both approaches...
  • PTC Windchill FTA

  • Referenced in 1 article [sw12548]
  • Software That Identifies Undesirable Events. Fault tree analysis (FTA) software plays an important role when ... product or system. By leveraging fault tree analysis tools, organizations can construct fault trees ... contributing events, PTC Windchill FTA provides the analysis tools required to help mitigate its occurrence ... product trial to experience powerful fault tree analysis software that offers complete integration with several...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ELECTRE

  • Referenced in 130 articles [sw02971]
  • Electre Methods. Over the last three decades a...
  • SHARPE

  • Referenced in 43 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • MRMC

  • Referenced in 73 articles [sw04129]
  • The ins and outs of the probabilistic model...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • CUDD

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

  • Referenced in 25 articles [sw04657]
  • UCLID (pronounced ”Euclid”) is a tool for analyzing...
  • SPNP

  • Referenced in 49 articles [sw07933]
  • SPNP: Stochastic Petri Nets. The Stochastic Petri Net...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • The nuXmv Symbolic Model Checker. This paper describes...