BlockSim

MaRDI QIDQ24473swMATHFDO

Official website http://www.reliasoft.com/BlockSim/index.html

Cited in

(17)

• A framework for formal dynamic dependability analysis using HOL theorem proving
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools
• Galileo
• FuzzyFTA
• DIFtree
• DFTSim
• DBNet
• FaultTree+
• MetaPrime
• MOCUS
• OpenFTA
• PTC Windchill FTA
• PREP/KITT
• Radyban
• Meddly
• DRBD
• TBUDDY

This page was built for software: BlockSim