# stormchecker/storm

<https://repo.masters-masters.com/en/repos/stormchecker/storm>

[Home](https://repo.masters-masters.com/en) › [stormchecker](https://repo.masters-masters.com/en/owners/stormchecker) › [storm](https://repo.masters-masters.com/en/repos/stormchecker/storm)

stormchecker/storm has 177 stars on GitHub. Its RepoMasters card: Prototype tier. A Modern Probabilistic Model Checker Language: C++.

| Field | Value |
| --- | --- |
| Owner | [stormchecker](https://repo.masters-masters.com/en/owners/stormchecker) |
| Stars | 177 |
| Forks | 89 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | GPL-3.0 |
| Created | 2016 |
| Topics | model-checking, markov-chain, dtmc, mdp, ctmc, research, fault-tree, model-checker, pomdp |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [stormchecker/storm](https://github.com/stormchecker/storm) |

## Repository

A Modern Probabilistic Model Checker

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in C++

- [Cerelog-ESP-EEG/ESP-EEG · ★ 177 · C++ · Prototype](https://repo.masters-masters.com/en/repos/Cerelog-ESP-EEG/ESP-EEG)
- [Arrow-air/project-caribou · ★ 177 · C++ · Prototype](https://repo.masters-masters.com/en/repos/Arrow-air/project-caribou)
- [characterecho-sean/edvr-unofficial-patch · ★ 177 · C++ · Prototype](https://repo.masters-masters.com/en/repos/characterecho-sean/edvr-unofficial-patch)
- [josephholsten/libdecodeqr · ★ 177 · C++ · Prototype](https://repo.masters-masters.com/en/repos/josephholsten/libdecodeqr)
- [creationix/node-sdl · ★ 177 · C++ · Prototype](https://repo.masters-masters.com/en/repos/creationix/node-sdl)
- [GNOME/gtkmm · ★ 177 · C++ · Prototype](https://repo.masters-masters.com/en/repos/GNOME/gtkmm)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.