GitHub repository: moves-rwth/storm
Primary language: C++
Created: 2016-10-19T20:14:19Z
Description: A Modern Probabilistic Model Checker