I develop and maintain several tools, especially for probabilistic model checking and fault tree analysis. See my GitHub profile for a complete list of my repositories and developer activities. model checking Storm A modern probabilistic model checker stormpy Python bindings for Storm fault tree SAFEST The static and dynamic fault tree analysis tool DFT Visualization A graphical editor for dynamic fault trees dftlib A Python library for dynamic fault tree analysis other bibtex-dblp Create and revise bibtex entries from DBLP
