GitHub repository: muqsit-azeem/storm
Primary language: C++
Description: A Modern Probabilistic Model Checker