search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
138 stars 75 forks source link

iMC changes inside of storm-pars #640

Open linusheck opened 3 days ago

linusheck commented 3 days ago

Merge https://github.com/moves-rwth/storm/pull/627 first