GitHub repository: AlexBork/stormpy
Description: Python Bindings for the Probabilistic Model Checker Storm