stormchecker/storm

GitHub

A Modern Probabilistic Model Checker

C++177 stars88 forksGPL-3.0

ctmc dtmc fault-tree markov-chain mdp model-checker model-checking pomdp research

Momentum

stormchecker/storm has 177 GitHub stars.

It currently ranks #13644 daily, #14635 weekly, #17906 monthly by momentum on Trending Repos; its best-ever rank is #12919.

Rankings

PeriodRankScore

Daily

#136440.0

Weekly

#146350.0

Monthly

#179060.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #12919

Format

Markdown

[![stormchecker/storm badge](https://trending-repos.com/badge/stormchecker/storm.svg?v=3)](https://trending-repos.com/repositories/stormchecker/storm?utm_source=github&utm_medium=badge)

stormchecker/storm

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

stormchecker/storm

Momentum

Rankings

Engagement

Similar trending repositories

Embeds